#include <stdlib.h>
#include "mmintrin.h"
#include "immintrin.h"
#include "tmmintrin.h"
#include "emmintrin.h"





static void sbox__0 (unsigned long a1,unsigned long a2,unsigned long a3,unsigned long a4,unsigned long a5,unsigned long a6,unsigned long* out1,unsigned long* out2,unsigned long* out3,unsigned long* out4) {
  unsigned long x1;
  unsigned long x2;
  unsigned long x3;
  unsigned long x4;
  unsigned long x5;
  unsigned long x6;
  unsigned long x7;
  unsigned long x8;
  unsigned long x9;
  unsigned long x10;
  unsigned long x11;
  unsigned long x12;
  unsigned long x13;
  unsigned long x14;
  unsigned long x15;
  unsigned long x16;
  unsigned long x17;
  unsigned long x18;
  unsigned long x19;
  unsigned long x20;
  unsigned long x21;
  unsigned long x22;
  unsigned long x23;
  unsigned long x24;
  unsigned long x25;
  unsigned long x26;
  unsigned long x27;
  unsigned long x28;
  unsigned long x29;
  unsigned long x30;
  unsigned long x31;
  unsigned long x32;
  unsigned long x33;
  unsigned long x34;
  unsigned long x35;
  unsigned long x36;
  unsigned long x37;
  unsigned long x38;
  unsigned long x39;
  unsigned long x40;
  unsigned long x41;
  unsigned long x42;
  unsigned long x43;
  unsigned long x44;
  unsigned long x45;
  unsigned long x46;
  unsigned long x47;
  unsigned long x48;
  unsigned long x49;
  unsigned long x50;
  unsigned long x51;
  unsigned long x52;
  unsigned long x53;
  unsigned long x54;
  unsigned long x55;
  unsigned long x56;
  unsigned long x57;
  unsigned long x58;
  unsigned long x59;
  unsigned long x60;
  unsigned long x61;
  unsigned long x62;
  unsigned long x63;

  x1 = ~(a4);
  x2 = ~(a1);
  x3 = (a3) ^ (a4);
  x4 = (x2) ^ (x3);
  x5 = (x2) | (a3);
  x6 = (x1) & (x5);
  x7 = (x6) | (a6);
  x8 = (x7) ^ (x4);
  x9 = (x2) | (x1);
  x10 = (x9) & (a6);
  x11 = (x10) ^ (x7);
  x12 = (x11) | (a2);
  x13 = (x12) ^ (x8);
  x14 = (x13) ^ (x9);
  x15 = (x14) | (a6);
  x16 = (x15) ^ (x1);
  x17 = ~(x14);
  x18 = (x3) & (x17);
  x19 = (x18) | (a2);
  x20 = (x19) ^ (x16);
  x21 = (x20) | (a5);
  x22 = (x21) ^ (x13);
  *out4 = x22;
  x23 = (x4) | (a3);
  x24 = ~(x23);
  x25 = (x24) | (a6);
  x26 = (x25) ^ (x6);
  x27 = (x8) & (x1);
  x28 = (x27) | (a2);
  x29 = (x28) ^ (x26);
  x30 = (x8) | (x1);
  x31 = (x6) ^ (x30);
  x32 = (x14) & (x5);
  x33 = (x8) ^ (x32);
  x34 = (x33) & (a2);
  x35 = (x34) ^ (x31);
  x36 = (x35) | (a5);
  x37 = (x36) ^ (x29);
  *out1 = x37;
  x38 = (x10) & (a3);
  x39 = (x4) | (x38);
  x40 = (x33) & (a3);
  x41 = (x25) ^ (x40);
  x42 = (x41) | (a2);
  x43 = (x42) ^ (x39);
  x44 = (x26) | (a3);
  x45 = (x14) ^ (x44);
  x46 = (x8) | (a1);
  x47 = (x20) ^ (x46);
  x48 = (x47) | (a2);
  x49 = (x48) ^ (x45);
  x50 = (x49) & (a5);
  x51 = (x50) ^ (x43);
  *out2 = x51;
  x52 = (x40) ^ (x8);
  x53 = (x11) ^ (a3);
  x54 = (x5) & (x53);
  x55 = (x54) | (a2);
  x56 = (x55) ^ (x52);
  x57 = (x4) | (a6);
  x58 = (x38) ^ (x57);
  x59 = (x56) & (x13);
  x60 = (x59) & (a2);
  x61 = (x60) ^ (x58);
  x62 = (x61) & (a5);
  x63 = (x62) ^ (x56);
  *out3 = x63;
}


static void sbox__1 (unsigned long a1,unsigned long a2,unsigned long a3,unsigned long a4,unsigned long a5,unsigned long a6,unsigned long* out1,unsigned long* out2,unsigned long* out3,unsigned long* out4) {
  unsigned long x1;
  unsigned long x2;
  unsigned long x3;
  unsigned long x4;
  unsigned long x5;
  unsigned long x6;
  unsigned long x7;
  unsigned long x8;
  unsigned long x9;
  unsigned long x10;
  unsigned long x11;
  unsigned long x12;
  unsigned long x13;
  unsigned long x14;
  unsigned long x15;
  unsigned long x16;
  unsigned long x17;
  unsigned long x18;
  unsigned long x19;
  unsigned long x20;
  unsigned long x21;
  unsigned long x22;
  unsigned long x23;
  unsigned long x24;
  unsigned long x25;
  unsigned long x26;
  unsigned long x27;
  unsigned long x28;
  unsigned long x29;
  unsigned long x30;
  unsigned long x31;
  unsigned long x32;
  unsigned long x33;
  unsigned long x34;
  unsigned long x35;
  unsigned long x36;
  unsigned long x37;
  unsigned long x38;
  unsigned long x39;
  unsigned long x40;
  unsigned long x41;
  unsigned long x42;
  unsigned long x43;
  unsigned long x44;
  unsigned long x45;
  unsigned long x46;
  unsigned long x47;
  unsigned long x48;
  unsigned long x49;
  unsigned long x50;
  unsigned long x51;
  unsigned long x52;
  unsigned long x53;
  unsigned long x54;
  unsigned long x55;
  unsigned long x56;

  x1 = ~(a5);
  x2 = ~(a1);
  x3 = (a6) ^ (a5);
  x4 = (x2) ^ (x3);
  x5 = (a2) ^ (x4);
  x6 = (x1) | (a6);
  x7 = (x2) | (x6);
  x8 = (x7) & (a2);
  x9 = (x8) ^ (a6);
  x10 = (x9) & (a3);
  x11 = (x10) ^ (x5);
  x12 = (x9) & (a2);
  x13 = (x6) ^ (a5);
  x14 = (x13) | (a3);
  x15 = (x14) ^ (x12);
  x16 = (x15) & (a4);
  x17 = (x16) ^ (x11);
  *out2 = x17;
  x18 = (a1) | (a5);
  x19 = (x18) | (a6);
  x20 = (x19) ^ (x13);
  x21 = (a2) ^ (x20);
  x22 = (x4) | (a6);
  x23 = (x17) & (x22);
  x24 = (x23) | (a3);
  x25 = (x24) ^ (x21);
  x26 = (x2) | (a6);
  x27 = (x2) & (a5);
  x28 = (x27) | (a2);
  x29 = (x28) ^ (x26);
  x30 = (x27) ^ (x3);
  x31 = (x19) ^ (x2);
  x32 = (x31) & (a2);
  x33 = (x32) ^ (x30);
  x34 = (x33) & (a3);
  x35 = (x34) ^ (x29);
  x36 = (x35) | (a4);
  x37 = (x36) ^ (x25);
  *out3 = x37;
  x38 = (x32) & (x21);
  x39 = (x5) ^ (x38);
  x40 = (x15) | (a1);
  x41 = (x13) ^ (x40);
  x42 = (x41) | (a3);
  x43 = (x42) ^ (x39);
  x44 = (x41) | (x28);
  x45 = (x44) & (a4);
  x46 = (x45) ^ (x43);
  *out1 = x46;
  x47 = (x21) & (x19);
  x48 = (x26) ^ (x47);
  x49 = (x33) & (a2);
  x50 = (x21) ^ (x49);
  x51 = (x50) & (a3);
  x52 = (x51) ^ (x48);
  x53 = (x28) & (x18);
  x54 = (x50) & (x53);
  x55 = (x54) | (a4);
  x56 = (x55) ^ (x52);
  *out4 = x56;
}


static void sbox__2 (unsigned long a1,unsigned long a2,unsigned long a3,unsigned long a4,unsigned long a5,unsigned long a6,unsigned long* out1,unsigned long* out2,unsigned long* out3,unsigned long* out4) {
  unsigned long x1;
  unsigned long x2;
  unsigned long x3;
  unsigned long x4;
  unsigned long x5;
  unsigned long x6;
  unsigned long x7;
  unsigned long x8;
  unsigned long x9;
  unsigned long x10;
  unsigned long x11;
  unsigned long x12;
  unsigned long x13;
  unsigned long x14;
  unsigned long x15;
  unsigned long x16;
  unsigned long x17;
  unsigned long x18;
  unsigned long x19;
  unsigned long x20;
  unsigned long x21;
  unsigned long x22;
  unsigned long x23;
  unsigned long x24;
  unsigned long x25;
  unsigned long x26;
  unsigned long x27;
  unsigned long x28;
  unsigned long x29;
  unsigned long x30;
  unsigned long x31;
  unsigned long x32;
  unsigned long x33;
  unsigned long x34;
  unsigned long x35;
  unsigned long x36;
  unsigned long x37;
  unsigned long x38;
  unsigned long x39;
  unsigned long x40;
  unsigned long x41;
  unsigned long x42;
  unsigned long x43;
  unsigned long x44;
  unsigned long x45;
  unsigned long x46;
  unsigned long x47;
  unsigned long x48;
  unsigned long x49;
  unsigned long x50;
  unsigned long x51;
  unsigned long x52;
  unsigned long x53;
  unsigned long x54;
  unsigned long x55;
  unsigned long x56;
  unsigned long x57;

  x1 = ~(a5);
  x2 = ~(a6);
  x3 = (a3) & (a5);
  x4 = (a6) ^ (x3);
  x5 = (x1) & (a4);
  x6 = (x5) ^ (x4);
  x7 = (a2) ^ (x6);
  x8 = (x1) & (a3);
  x9 = (x2) ^ (a5);
  x10 = (x9) | (a4);
  x11 = (x10) ^ (x8);
  x12 = (x11) & (x7);
  x13 = (x11) ^ (a5);
  x14 = (x7) | (x13);
  x15 = (x14) & (a4);
  x16 = (x15) ^ (x12);
  x17 = (x16) & (a2);
  x18 = (x17) ^ (x11);
  x19 = (x18) & (a1);
  x20 = (x19) ^ (x7);
  *out4 = x20;
  x21 = (a4) ^ (a3);
  x22 = (x9) ^ (x21);
  x23 = (x4) | (x2);
  x24 = (x8) ^ (x23);
  x25 = (x24) | (a2);
  x26 = (x25) ^ (x22);
  x27 = (x23) ^ (a6);
  x28 = (a4) | (x27);
  x29 = (x15) ^ (a3);
  x30 = (x5) | (x29);
  x31 = (x30) | (a2);
  x32 = (x31) ^ (x28);
  x33 = (x32) | (a1);
  x34 = (x33) ^ (x26);
  *out1 = x34;
  x35 = (x9) ^ (a3);
  x36 = (x5) | (x35);
  x37 = (x29) | (x4);
  x38 = (a4) ^ (x37);
  x39 = (x38) | (a2);
  x40 = (x39) ^ (x36);
  x41 = (x11) & (a6);
  x42 = (x6) | (x41);
  x43 = (x38) ^ (x34);
  x44 = (x41) ^ (x43);
  x45 = (x44) & (a2);
  x46 = (x45) ^ (x42);
  x47 = (x46) | (a1);
  x48 = (x47) ^ (x40);
  *out3 = x48;
  x49 = (x38) | (x2);
  x50 = (x13) ^ (x49);
  x51 = (x28) ^ (x27);
  x52 = (x51) | (a2);
  x53 = (x52) ^ (x50);
  x54 = (x23) & (x12);
  x55 = (x52) & (x54);
  x56 = (x55) | (a1);
  x57 = (x56) ^ (x53);
  *out2 = x57;
}


static void sbox__3 (unsigned long a1,unsigned long a2,unsigned long a3,unsigned long a4,unsigned long a5,unsigned long a6,unsigned long* out1,unsigned long* out2,unsigned long* out3,unsigned long* out4) {
  unsigned long x1;
  unsigned long x2;
  unsigned long x3;
  unsigned long x4;
  unsigned long x5;
  unsigned long x6;
  unsigned long x7;
  unsigned long x8;
  unsigned long x9;
  unsigned long x10;
  unsigned long x11;
  unsigned long x12;
  unsigned long x13;
  unsigned long x14;
  unsigned long x15;
  unsigned long x16;
  unsigned long x17;
  unsigned long x18;
  unsigned long x19;
  unsigned long x20;
  unsigned long x21;
  unsigned long x22;
  unsigned long x23;
  unsigned long x24;
  unsigned long x25;
  unsigned long x26;
  unsigned long x27;
  unsigned long x28;
  unsigned long x29;
  unsigned long x30;
  unsigned long x31;
  unsigned long x32;
  unsigned long x33;
  unsigned long x34;
  unsigned long x35;
  unsigned long x36;
  unsigned long x37;
  unsigned long x38;
  unsigned long x39;
  unsigned long x40;
  unsigned long x41;
  unsigned long x42;

  x1 = ~(a1);
  x2 = ~(a3);
  x3 = (a3) | (a1);
  x4 = (x3) & (a5);
  x5 = (x4) ^ (x1);
  x6 = (a3) | (a2);
  x7 = (x6) ^ (x5);
  x8 = (a5) & (a1);
  x9 = (x3) ^ (x8);
  x10 = (x9) & (a2);
  x11 = (x10) ^ (a5);
  x12 = (x11) & (a4);
  x13 = (x12) ^ (x7);
  x14 = (x4) ^ (x2);
  x15 = (x14) & (a2);
  x16 = (x15) ^ (x9);
  x17 = (x14) & (x5);
  x18 = (x2) ^ (a5);
  x19 = (x18) | (a2);
  x20 = (x19) ^ (x17);
  x21 = (x20) | (a4);
  x22 = (x21) ^ (x16);
  x23 = (x22) & (a6);
  x24 = (x23) ^ (x13);
  *out2 = x24;
  x25 = ~(x13);
  x26 = (x22) | (a6);
  x27 = (x26) ^ (x25);
  *out1 = x27;
  x28 = (x11) & (a2);
  x29 = (x17) ^ (x28);
  x30 = (x10) ^ (a3);
  x31 = (x19) ^ (x30);
  x32 = (x31) & (a4);
  x33 = (x32) ^ (x29);
  x34 = (x33) ^ (x25);
  x35 = (x34) & (a2);
  x36 = (x35) ^ (x24);
  x37 = (x34) | (a4);
  x38 = (x37) ^ (x36);
  x39 = (x38) & (a6);
  x40 = (x39) ^ (x33);
  *out4 = x40;
  x41 = (x38) ^ (x26);
  x42 = (x40) ^ (x41);
  *out3 = x42;
}


static void sbox__4 (unsigned long a1,unsigned long a2,unsigned long a3,unsigned long a4,unsigned long a5,unsigned long a6,unsigned long* out1,unsigned long* out2,unsigned long* out3,unsigned long* out4) {
  unsigned long x1;
  unsigned long x2;
  unsigned long x3;
  unsigned long x4;
  unsigned long x5;
  unsigned long x6;
  unsigned long x7;
  unsigned long x8;
  unsigned long x9;
  unsigned long x10;
  unsigned long x11;
  unsigned long x12;
  unsigned long x13;
  unsigned long x14;
  unsigned long x15;
  unsigned long x16;
  unsigned long x17;
  unsigned long x18;
  unsigned long x19;
  unsigned long x20;
  unsigned long x21;
  unsigned long x22;
  unsigned long x23;
  unsigned long x24;
  unsigned long x25;
  unsigned long x26;
  unsigned long x27;
  unsigned long x28;
  unsigned long x29;
  unsigned long x30;
  unsigned long x31;
  unsigned long x32;
  unsigned long x33;
  unsigned long x34;
  unsigned long x35;
  unsigned long x36;
  unsigned long x37;
  unsigned long x38;
  unsigned long x39;
  unsigned long x40;
  unsigned long x41;
  unsigned long x42;
  unsigned long x43;
  unsigned long x44;
  unsigned long x45;
  unsigned long x46;
  unsigned long x47;
  unsigned long x48;
  unsigned long x49;
  unsigned long x50;
  unsigned long x51;
  unsigned long x52;
  unsigned long x53;
  unsigned long x54;
  unsigned long x55;
  unsigned long x56;
  unsigned long x57;
  unsigned long x58;
  unsigned long x59;
  unsigned long x60;
  unsigned long x61;
  unsigned long x62;

  x1 = ~(a6);
  x2 = ~(a3);
  x3 = (x2) | (x1);
  x4 = (a4) ^ (x3);
  x5 = (x3) & (a1);
  x6 = (x5) ^ (x4);
  x7 = (a4) | (a6);
  x8 = (a3) ^ (x7);
  x9 = (x7) | (a3);
  x10 = (x9) | (a1);
  x11 = (x10) ^ (x8);
  x12 = (x11) & (a5);
  x13 = (x12) ^ (x6);
  x14 = ~(x4);
  x15 = (a6) & (x14);
  x16 = (x15) | (a1);
  x17 = (x16) ^ (x8);
  x18 = (x17) | (a5);
  x19 = (x18) ^ (x10);
  x20 = (x19) | (a2);
  x21 = (x20) ^ (x13);
  *out3 = x21;
  x22 = (x15) | (x2);
  x23 = (a6) ^ (x22);
  x24 = (x22) ^ (a4);
  x25 = (x24) & (a1);
  x26 = (x25) ^ (x23);
  x27 = (x11) ^ (a1);
  x28 = (x22) & (x27);
  x29 = (x28) | (a5);
  x30 = (x29) ^ (x26);
  x31 = (x27) | (a4);
  x32 = ~(x31);
  x33 = (x32) | (a2);
  x34 = (x33) ^ (x30);
  *out2 = x34;
  x35 = (x15) ^ (x2);
  x36 = (x35) & (a1);
  x37 = (x36) ^ (x14);
  x38 = (x7) ^ (x5);
  x39 = (x34) & (x38);
  x40 = (x39) | (a5);
  x41 = (x40) ^ (x37);
  x42 = (x5) ^ (x2);
  x43 = (x16) & (x42);
  x44 = (x27) & (x4);
  x45 = (x44) & (a5);
  x46 = (x45) ^ (x43);
  x47 = (x46) | (a2);
  x48 = (x47) ^ (x41);
  *out1 = x48;
  x49 = (x48) & (x24);
  x50 = (x5) ^ (x49);
  x51 = (x30) ^ (x11);
  x52 = (x50) | (x51);
  x53 = (x52) & (a5);
  x54 = (x53) ^ (x50);
  x55 = (x19) ^ (x14);
  x56 = (x34) ^ (x55);
  x57 = (x16) ^ (x4);
  x58 = (x30) & (x57);
  x59 = (x58) & (a5);
  x60 = (x59) ^ (x56);
  x61 = (x60) | (a2);
  x62 = (x61) ^ (x54);
  *out4 = x62;
}


static void sbox__5 (unsigned long a1,unsigned long a2,unsigned long a3,unsigned long a4,unsigned long a5,unsigned long a6,unsigned long* out1,unsigned long* out2,unsigned long* out3,unsigned long* out4) {
  unsigned long x1;
  unsigned long x2;
  unsigned long x3;
  unsigned long x4;
  unsigned long x5;
  unsigned long x6;
  unsigned long x7;
  unsigned long x8;
  unsigned long x9;
  unsigned long x10;
  unsigned long x11;
  unsigned long x12;
  unsigned long x13;
  unsigned long x14;
  unsigned long x15;
  unsigned long x16;
  unsigned long x17;
  unsigned long x18;
  unsigned long x19;
  unsigned long x20;
  unsigned long x21;
  unsigned long x22;
  unsigned long x23;
  unsigned long x24;
  unsigned long x25;
  unsigned long x26;
  unsigned long x27;
  unsigned long x28;
  unsigned long x29;
  unsigned long x30;
  unsigned long x31;
  unsigned long x32;
  unsigned long x33;
  unsigned long x34;
  unsigned long x35;
  unsigned long x36;
  unsigned long x37;
  unsigned long x38;
  unsigned long x39;
  unsigned long x40;
  unsigned long x41;
  unsigned long x42;
  unsigned long x43;
  unsigned long x44;
  unsigned long x45;
  unsigned long x46;
  unsigned long x47;
  unsigned long x48;
  unsigned long x49;
  unsigned long x50;
  unsigned long x51;
  unsigned long x52;
  unsigned long x53;
  unsigned long x54;
  unsigned long x55;
  unsigned long x56;
  unsigned long x57;

  x1 = ~(a2);
  x2 = ~(a5);
  x3 = (a6) ^ (a2);
  x4 = (x2) ^ (x3);
  x5 = (a1) ^ (x4);
  x6 = (a6) & (a5);
  x7 = (x1) | (x6);
  x8 = (x5) & (a5);
  x9 = (x8) & (a1);
  x10 = (x9) ^ (x7);
  x11 = (x10) & (a4);
  x12 = (x11) ^ (x5);
  x13 = (x10) ^ (a6);
  x14 = (a1) & (x13);
  x15 = (a6) & (a2);
  x16 = (a5) ^ (x15);
  x17 = (x16) & (a1);
  x18 = (x17) ^ (x2);
  x19 = (x18) | (a4);
  x20 = (x19) ^ (x14);
  x21 = (x20) & (a3);
  x22 = (x21) ^ (x12);
  *out2 = x22;
  x23 = (x18) ^ (a6);
  x24 = (x23) & (a1);
  x25 = (x24) ^ (a5);
  x26 = (x17) ^ (a2);
  x27 = (x6) | (x26);
  x28 = (x27) & (a4);
  x29 = (x28) ^ (x25);
  x30 = ~(x26);
  x31 = (x29) | (a6);
  x32 = ~(x31);
  x33 = (x32) & (a4);
  x34 = (x33) ^ (x30);
  x35 = (x34) & (a3);
  x36 = (x35) ^ (x29);
  *out4 = x36;
  x37 = (x34) ^ (x6);
  x38 = (x23) & (a5);
  x39 = (x5) ^ (x38);
  x40 = (x39) | (a4);
  x41 = (x40) ^ (x37);
  x42 = (x24) | (x16);
  x43 = (x1) ^ (x42);
  x44 = (x24) ^ (x15);
  x45 = (x31) ^ (x44);
  x46 = (x45) | (a4);
  x47 = (x46) ^ (x43);
  x48 = (x47) | (a3);
  x49 = (x48) ^ (x41);
  *out1 = x49;
  x50 = (x38) | (x5);
  x51 = (x6) ^ (x50);
  x52 = (x31) & (x8);
  x53 = (x52) | (a4);
  x54 = (x53) ^ (x51);
  x55 = (x43) & (x30);
  x56 = (x55) | (a3);
  x57 = (x56) ^ (x54);
  *out3 = x57;
}


static void sbox__6 (unsigned long a1,unsigned long a2,unsigned long a3,unsigned long a4,unsigned long a5,unsigned long a6,unsigned long* out1,unsigned long* out2,unsigned long* out3,unsigned long* out4) {
  unsigned long x1;
  unsigned long x2;
  unsigned long x3;
  unsigned long x4;
  unsigned long x5;
  unsigned long x6;
  unsigned long x7;
  unsigned long x8;
  unsigned long x9;
  unsigned long x10;
  unsigned long x11;
  unsigned long x12;
  unsigned long x13;
  unsigned long x14;
  unsigned long x15;
  unsigned long x16;
  unsigned long x17;
  unsigned long x18;
  unsigned long x19;
  unsigned long x20;
  unsigned long x21;
  unsigned long x22;
  unsigned long x23;
  unsigned long x24;
  unsigned long x25;
  unsigned long x26;
  unsigned long x27;
  unsigned long x28;
  unsigned long x29;
  unsigned long x30;
  unsigned long x31;
  unsigned long x32;
  unsigned long x33;
  unsigned long x34;
  unsigned long x35;
  unsigned long x36;
  unsigned long x37;
  unsigned long x38;
  unsigned long x39;
  unsigned long x40;
  unsigned long x41;
  unsigned long x42;
  unsigned long x43;
  unsigned long x44;
  unsigned long x45;
  unsigned long x46;
  unsigned long x47;
  unsigned long x48;
  unsigned long x49;
  unsigned long x50;
  unsigned long x51;
  unsigned long x52;
  unsigned long x53;
  unsigned long x54;
  unsigned long x55;
  unsigned long x56;
  unsigned long x57;

  x1 = ~(a2);
  x2 = ~(a5);
  x3 = (a4) & (a2);
  x4 = (a5) ^ (x3);
  x5 = (a3) ^ (x4);
  x6 = (x4) & (a4);
  x7 = (a2) ^ (x6);
  x8 = (x7) & (a3);
  x9 = (x8) ^ (a1);
  x10 = (x9) | (a6);
  x11 = (x10) ^ (x5);
  x12 = (x2) & (a4);
  x13 = (a2) | (x12);
  x14 = (x2) | (a2);
  x15 = (x14) & (a3);
  x16 = (x15) ^ (x13);
  x17 = (x11) ^ (x6);
  x18 = (x17) | (a6);
  x19 = (x18) ^ (x16);
  x20 = (x19) & (a1);
  x21 = (x20) ^ (x11);
  *out1 = x21;
  x22 = (x21) | (a2);
  x23 = (x6) ^ (x22);
  x24 = (x15) ^ (x23);
  x25 = (x6) ^ (x5);
  x26 = (x12) | (x25);
  x27 = (x26) | (a6);
  x28 = (x27) ^ (x24);
  x29 = (x19) & (x1);
  x30 = (x26) & (x23);
  x31 = (x30) & (a6);
  x32 = (x31) ^ (x29);
  x33 = (x32) | (a1);
  x34 = (x33) ^ (x28);
  *out4 = x34;
  x35 = (x16) & (a4);
  x36 = (x1) | (x35);
  x37 = (x36) & (a6);
  x38 = (x37) ^ (x11);
  x39 = (x13) & (a4);
  x40 = (x7) | (a3);
  x41 = (x40) ^ (x39);
  x42 = (x24) | (x1);
  x43 = (x42) | (a6);
  x44 = (x43) ^ (x41);
  x45 = (x44) | (a1);
  x46 = (x45) ^ (x38);
  *out2 = x46;
  x47 = (x44) ^ (x8);
  x48 = (x15) ^ (x6);
  x49 = (x48) | (a6);
  x50 = (x49) ^ (x47);
  x51 = (x44) ^ (x19);
  x52 = (x25) ^ (a4);
  x53 = (x46) & (x52);
  x54 = (x53) & (a6);
  x55 = (x54) ^ (x51);
  x56 = (x55) | (a1);
  x57 = (x56) ^ (x50);
  *out3 = x57;
}


static void sbox__7 (unsigned long a1,unsigned long a2,unsigned long a3,unsigned long a4,unsigned long a5,unsigned long a6,unsigned long* out1,unsigned long* out2,unsigned long* out3,unsigned long* out4) {
  unsigned long x1;
  unsigned long x2;
  unsigned long x3;
  unsigned long x4;
  unsigned long x5;
  unsigned long x6;
  unsigned long x7;
  unsigned long x8;
  unsigned long x9;
  unsigned long x10;
  unsigned long x11;
  unsigned long x12;
  unsigned long x13;
  unsigned long x14;
  unsigned long x15;
  unsigned long x16;
  unsigned long x17;
  unsigned long x18;
  unsigned long x19;
  unsigned long x20;
  unsigned long x21;
  unsigned long x22;
  unsigned long x23;
  unsigned long x24;
  unsigned long x25;
  unsigned long x26;
  unsigned long x27;
  unsigned long x28;
  unsigned long x29;
  unsigned long x30;
  unsigned long x31;
  unsigned long x32;
  unsigned long x33;
  unsigned long x34;
  unsigned long x35;
  unsigned long x36;
  unsigned long x37;
  unsigned long x38;
  unsigned long x39;
  unsigned long x40;
  unsigned long x41;
  unsigned long x42;
  unsigned long x43;
  unsigned long x44;
  unsigned long x45;
  unsigned long x46;
  unsigned long x47;
  unsigned long x48;
  unsigned long x49;
  unsigned long x50;
  unsigned long x51;
  unsigned long x52;
  unsigned long x53;
  unsigned long x54;

  x1 = ~(a1);
  x2 = ~(a4);
  x3 = (x1) ^ (a3);
  x4 = (x1) | (a3);
  x5 = (x2) ^ (x4);
  x6 = (x5) | (a5);
  x7 = (x6) ^ (x3);
  x8 = (x5) | (x1);
  x9 = (x8) ^ (x2);
  x10 = (x9) & (a5);
  x11 = (x10) ^ (x8);
  x12 = (x11) & (a2);
  x13 = (x12) ^ (x7);
  x14 = (x9) ^ (x6);
  x15 = (x9) & (x3);
  x16 = (x8) & (a5);
  x17 = (x16) ^ (x15);
  x18 = (x17) | (a2);
  x19 = (x18) ^ (x14);
  x20 = (x19) | (a6);
  x21 = (x20) ^ (x13);
  *out1 = x21;
  x22 = (x3) | (a5);
  x23 = (x2) & (x22);
  x24 = ~(a3);
  x25 = (x8) & (x24);
  x26 = (x4) & (a5);
  x27 = (x26) ^ (x25);
  x28 = (x27) | (a2);
  x29 = (x28) ^ (x23);
  x30 = (x29) & (a6);
  x31 = (x30) ^ (x13);
  *out4 = x31;
  x32 = (x6) ^ (x5);
  x33 = (x22) ^ (x32);
  x34 = (x13) | (a4);
  x35 = (x34) & (a2);
  x36 = (x35) ^ (x33);
  x37 = (x33) & (a1);
  x38 = (x8) ^ (x37);
  x39 = (x23) ^ (a1);
  x40 = (x7) & (x39);
  x41 = (x40) & (a2);
  x42 = (x41) ^ (x38);
  x43 = (x42) | (a6);
  x44 = (x43) ^ (x36);
  *out3 = x44;
  x45 = (x10) ^ (a1);
  x46 = (x22) ^ (x45);
  x47 = ~(x7);
  x48 = (x8) & (x47);
  x49 = (x48) | (a2);
  x50 = (x49) ^ (x46);
  x51 = (x29) ^ (x19);
  x52 = (x38) | (x51);
  x53 = (x52) & (a6);
  x54 = (x53) ^ (x50);
  *out2 = x54;
}


void des__ (unsigned long input[64], unsigned long key[64],unsigned long output[64]) {
  
  unsigned long key__8 = key[7];
  unsigned long key__16 = key[15];
  unsigned long key__24 = key[23];
  unsigned long key__32 = key[31];
  unsigned long key__40 = key[39];
  unsigned long key__48 = key[47];
  unsigned long key__56 = key[55];
  unsigned long key__64 = key[63];

  unsigned long des_single__0_sbox_in__0__1;
  unsigned long des_single__0_sbox_in__0__2;
  unsigned long des_single__0_sbox_in__0__3;
  unsigned long des_single__0_sbox_in__0__4;
  unsigned long des_single__0_sbox_in__0__5;
  unsigned long des_single__0_sbox_in__0__6;
  unsigned long des_single__0_sbox_in__1__1;
  unsigned long des_single__0_sbox_in__1__2;
  unsigned long des_single__0_sbox_in__1__3;
  unsigned long des_single__0_sbox_in__1__4;
  unsigned long des_single__0_sbox_in__1__5;
  unsigned long des_single__0_sbox_in__1__6;
  unsigned long des_single__0_sbox_in__2__1;
  unsigned long des_single__0_sbox_in__2__2;
  unsigned long des_single__0_sbox_in__2__3;
  unsigned long des_single__0_sbox_in__2__4;
  unsigned long des_single__0_sbox_in__2__5;
  unsigned long des_single__0_sbox_in__2__6;
  unsigned long des_single__0_sbox_in__3__1;
  unsigned long des_single__0_sbox_in__3__2;
  unsigned long des_single__0_sbox_in__3__3;
  unsigned long des_single__0_sbox_in__3__4;
  unsigned long des_single__0_sbox_in__3__5;
  unsigned long des_single__0_sbox_in__3__6;
  unsigned long des_single__0_sbox_in__4__1;
  unsigned long des_single__0_sbox_in__4__2;
  unsigned long des_single__0_sbox_in__4__3;
  unsigned long des_single__0_sbox_in__4__4;
  unsigned long des_single__0_sbox_in__4__5;
  unsigned long des_single__0_sbox_in__4__6;
  unsigned long des_single__0_sbox_in__5__1;
  unsigned long des_single__0_sbox_in__5__2;
  unsigned long des_single__0_sbox_in__5__3;
  unsigned long des_single__0_sbox_in__5__4;
  unsigned long des_single__0_sbox_in__5__5;
  unsigned long des_single__0_sbox_in__5__6;
  unsigned long des_single__0_sbox_in__6__1;
  unsigned long des_single__0_sbox_in__6__2;
  unsigned long des_single__0_sbox_in__6__3;
  unsigned long des_single__0_sbox_in__6__4;
  unsigned long des_single__0_sbox_in__6__5;
  unsigned long des_single__0_sbox_in__6__6;
  unsigned long des_single__0_sbox_in__7__1;
  unsigned long des_single__0_sbox_in__7__2;
  unsigned long des_single__0_sbox_in__7__3;
  unsigned long des_single__0_sbox_in__7__4;
  unsigned long des_single__0_sbox_in__7__5;
  unsigned long des_single__0_sbox_in__7__6;
  unsigned long des_single__0_sbox_out__0__1;
  unsigned long des_single__0_sbox_out__0__2;
  unsigned long des_single__0_sbox_out__0__3;
  unsigned long des_single__0_sbox_out__0__4;
  unsigned long des_single__0_sbox_out__1__1;
  unsigned long des_single__0_sbox_out__1__2;
  unsigned long des_single__0_sbox_out__1__3;
  unsigned long des_single__0_sbox_out__1__4;
  unsigned long des_single__0_sbox_out__2__1;
  unsigned long des_single__0_sbox_out__2__2;
  unsigned long des_single__0_sbox_out__2__3;
  unsigned long des_single__0_sbox_out__2__4;
  unsigned long des_single__0_sbox_out__3__1;
  unsigned long des_single__0_sbox_out__3__2;
  unsigned long des_single__0_sbox_out__3__3;
  unsigned long des_single__0_sbox_out__3__4;
  unsigned long des_single__0_sbox_out__4__1;
  unsigned long des_single__0_sbox_out__4__2;
  unsigned long des_single__0_sbox_out__4__3;
  unsigned long des_single__0_sbox_out__4__4;
  unsigned long des_single__0_sbox_out__5__1;
  unsigned long des_single__0_sbox_out__5__2;
  unsigned long des_single__0_sbox_out__5__3;
  unsigned long des_single__0_sbox_out__5__4;
  unsigned long des_single__0_sbox_out__6__1;
  unsigned long des_single__0_sbox_out__6__2;
  unsigned long des_single__0_sbox_out__6__3;
  unsigned long des_single__0_sbox_out__6__4;
  unsigned long des_single__0_sbox_out__7__1;
  unsigned long des_single__0_sbox_out__7__2;
  unsigned long des_single__0_sbox_out__7__3;
  unsigned long des_single__0_sbox_out__7__4;
  unsigned long des_single__1_sbox_in__0__1;
  unsigned long des_single__1_sbox_in__0__2;
  unsigned long des_single__1_sbox_in__0__3;
  unsigned long des_single__1_sbox_in__0__4;
  unsigned long des_single__1_sbox_in__0__5;
  unsigned long des_single__1_sbox_in__0__6;
  unsigned long des_single__1_sbox_in__1__1;
  unsigned long des_single__1_sbox_in__1__2;
  unsigned long des_single__1_sbox_in__1__3;
  unsigned long des_single__1_sbox_in__1__4;
  unsigned long des_single__1_sbox_in__1__5;
  unsigned long des_single__1_sbox_in__1__6;
  unsigned long des_single__1_sbox_in__2__1;
  unsigned long des_single__1_sbox_in__2__2;
  unsigned long des_single__1_sbox_in__2__3;
  unsigned long des_single__1_sbox_in__2__4;
  unsigned long des_single__1_sbox_in__2__5;
  unsigned long des_single__1_sbox_in__2__6;
  unsigned long des_single__1_sbox_in__3__1;
  unsigned long des_single__1_sbox_in__3__2;
  unsigned long des_single__1_sbox_in__3__3;
  unsigned long des_single__1_sbox_in__3__4;
  unsigned long des_single__1_sbox_in__3__5;
  unsigned long des_single__1_sbox_in__3__6;
  unsigned long des_single__1_sbox_in__4__1;
  unsigned long des_single__1_sbox_in__4__2;
  unsigned long des_single__1_sbox_in__4__3;
  unsigned long des_single__1_sbox_in__4__4;
  unsigned long des_single__1_sbox_in__4__5;
  unsigned long des_single__1_sbox_in__4__6;
  unsigned long des_single__1_sbox_in__5__1;
  unsigned long des_single__1_sbox_in__5__2;
  unsigned long des_single__1_sbox_in__5__3;
  unsigned long des_single__1_sbox_in__5__4;
  unsigned long des_single__1_sbox_in__5__5;
  unsigned long des_single__1_sbox_in__5__6;
  unsigned long des_single__1_sbox_in__6__1;
  unsigned long des_single__1_sbox_in__6__2;
  unsigned long des_single__1_sbox_in__6__3;
  unsigned long des_single__1_sbox_in__6__4;
  unsigned long des_single__1_sbox_in__6__5;
  unsigned long des_single__1_sbox_in__6__6;
  unsigned long des_single__1_sbox_in__7__1;
  unsigned long des_single__1_sbox_in__7__2;
  unsigned long des_single__1_sbox_in__7__3;
  unsigned long des_single__1_sbox_in__7__4;
  unsigned long des_single__1_sbox_in__7__5;
  unsigned long des_single__1_sbox_in__7__6;
  unsigned long des_single__1_sbox_out__0__1;
  unsigned long des_single__1_sbox_out__0__2;
  unsigned long des_single__1_sbox_out__0__3;
  unsigned long des_single__1_sbox_out__0__4;
  unsigned long des_single__1_sbox_out__1__1;
  unsigned long des_single__1_sbox_out__1__2;
  unsigned long des_single__1_sbox_out__1__3;
  unsigned long des_single__1_sbox_out__1__4;
  unsigned long des_single__1_sbox_out__2__1;
  unsigned long des_single__1_sbox_out__2__2;
  unsigned long des_single__1_sbox_out__2__3;
  unsigned long des_single__1_sbox_out__2__4;
  unsigned long des_single__1_sbox_out__3__1;
  unsigned long des_single__1_sbox_out__3__2;
  unsigned long des_single__1_sbox_out__3__3;
  unsigned long des_single__1_sbox_out__3__4;
  unsigned long des_single__1_sbox_out__4__1;
  unsigned long des_single__1_sbox_out__4__2;
  unsigned long des_single__1_sbox_out__4__3;
  unsigned long des_single__1_sbox_out__4__4;
  unsigned long des_single__1_sbox_out__5__1;
  unsigned long des_single__1_sbox_out__5__2;
  unsigned long des_single__1_sbox_out__5__3;
  unsigned long des_single__1_sbox_out__5__4;
  unsigned long des_single__1_sbox_out__6__1;
  unsigned long des_single__1_sbox_out__6__2;
  unsigned long des_single__1_sbox_out__6__3;
  unsigned long des_single__1_sbox_out__6__4;
  unsigned long des_single__1_sbox_out__7__1;
  unsigned long des_single__1_sbox_out__7__2;
  unsigned long des_single__1_sbox_out__7__3;
  unsigned long des_single__1_sbox_out__7__4;
  unsigned long des_single__2_sbox_in__0__1;
  unsigned long des_single__2_sbox_in__0__2;
  unsigned long des_single__2_sbox_in__0__3;
  unsigned long des_single__2_sbox_in__0__4;
  unsigned long des_single__2_sbox_in__0__5;
  unsigned long des_single__2_sbox_in__0__6;
  unsigned long des_single__2_sbox_in__1__1;
  unsigned long des_single__2_sbox_in__1__2;
  unsigned long des_single__2_sbox_in__1__3;
  unsigned long des_single__2_sbox_in__1__4;
  unsigned long des_single__2_sbox_in__1__5;
  unsigned long des_single__2_sbox_in__1__6;
  unsigned long des_single__2_sbox_in__2__1;
  unsigned long des_single__2_sbox_in__2__2;
  unsigned long des_single__2_sbox_in__2__3;
  unsigned long des_single__2_sbox_in__2__4;
  unsigned long des_single__2_sbox_in__2__5;
  unsigned long des_single__2_sbox_in__2__6;
  unsigned long des_single__2_sbox_in__3__1;
  unsigned long des_single__2_sbox_in__3__2;
  unsigned long des_single__2_sbox_in__3__3;
  unsigned long des_single__2_sbox_in__3__4;
  unsigned long des_single__2_sbox_in__3__5;
  unsigned long des_single__2_sbox_in__3__6;
  unsigned long des_single__2_sbox_in__4__1;
  unsigned long des_single__2_sbox_in__4__2;
  unsigned long des_single__2_sbox_in__4__3;
  unsigned long des_single__2_sbox_in__4__4;
  unsigned long des_single__2_sbox_in__4__5;
  unsigned long des_single__2_sbox_in__4__6;
  unsigned long des_single__2_sbox_in__5__1;
  unsigned long des_single__2_sbox_in__5__2;
  unsigned long des_single__2_sbox_in__5__3;
  unsigned long des_single__2_sbox_in__5__4;
  unsigned long des_single__2_sbox_in__5__5;
  unsigned long des_single__2_sbox_in__5__6;
  unsigned long des_single__2_sbox_in__6__1;
  unsigned long des_single__2_sbox_in__6__2;
  unsigned long des_single__2_sbox_in__6__3;
  unsigned long des_single__2_sbox_in__6__4;
  unsigned long des_single__2_sbox_in__6__5;
  unsigned long des_single__2_sbox_in__6__6;
  unsigned long des_single__2_sbox_in__7__1;
  unsigned long des_single__2_sbox_in__7__2;
  unsigned long des_single__2_sbox_in__7__3;
  unsigned long des_single__2_sbox_in__7__4;
  unsigned long des_single__2_sbox_in__7__5;
  unsigned long des_single__2_sbox_in__7__6;
  unsigned long des_single__2_sbox_out__0__1;
  unsigned long des_single__2_sbox_out__0__2;
  unsigned long des_single__2_sbox_out__0__3;
  unsigned long des_single__2_sbox_out__0__4;
  unsigned long des_single__2_sbox_out__1__1;
  unsigned long des_single__2_sbox_out__1__2;
  unsigned long des_single__2_sbox_out__1__3;
  unsigned long des_single__2_sbox_out__1__4;
  unsigned long des_single__2_sbox_out__2__1;
  unsigned long des_single__2_sbox_out__2__2;
  unsigned long des_single__2_sbox_out__2__3;
  unsigned long des_single__2_sbox_out__2__4;
  unsigned long des_single__2_sbox_out__3__1;
  unsigned long des_single__2_sbox_out__3__2;
  unsigned long des_single__2_sbox_out__3__3;
  unsigned long des_single__2_sbox_out__3__4;
  unsigned long des_single__2_sbox_out__4__1;
  unsigned long des_single__2_sbox_out__4__2;
  unsigned long des_single__2_sbox_out__4__3;
  unsigned long des_single__2_sbox_out__4__4;
  unsigned long des_single__2_sbox_out__5__1;
  unsigned long des_single__2_sbox_out__5__2;
  unsigned long des_single__2_sbox_out__5__3;
  unsigned long des_single__2_sbox_out__5__4;
  unsigned long des_single__2_sbox_out__6__1;
  unsigned long des_single__2_sbox_out__6__2;
  unsigned long des_single__2_sbox_out__6__3;
  unsigned long des_single__2_sbox_out__6__4;
  unsigned long des_single__2_sbox_out__7__1;
  unsigned long des_single__2_sbox_out__7__2;
  unsigned long des_single__2_sbox_out__7__3;
  unsigned long des_single__2_sbox_out__7__4;
  unsigned long des_single__3_sbox_in__0__1;
  unsigned long des_single__3_sbox_in__0__2;
  unsigned long des_single__3_sbox_in__0__3;
  unsigned long des_single__3_sbox_in__0__4;
  unsigned long des_single__3_sbox_in__0__5;
  unsigned long des_single__3_sbox_in__0__6;
  unsigned long des_single__3_sbox_in__1__1;
  unsigned long des_single__3_sbox_in__1__2;
  unsigned long des_single__3_sbox_in__1__3;
  unsigned long des_single__3_sbox_in__1__4;
  unsigned long des_single__3_sbox_in__1__5;
  unsigned long des_single__3_sbox_in__1__6;
  unsigned long des_single__3_sbox_in__2__1;
  unsigned long des_single__3_sbox_in__2__2;
  unsigned long des_single__3_sbox_in__2__3;
  unsigned long des_single__3_sbox_in__2__4;
  unsigned long des_single__3_sbox_in__2__5;
  unsigned long des_single__3_sbox_in__2__6;
  unsigned long des_single__3_sbox_in__3__1;
  unsigned long des_single__3_sbox_in__3__2;
  unsigned long des_single__3_sbox_in__3__3;
  unsigned long des_single__3_sbox_in__3__4;
  unsigned long des_single__3_sbox_in__3__5;
  unsigned long des_single__3_sbox_in__3__6;
  unsigned long des_single__3_sbox_in__4__1;
  unsigned long des_single__3_sbox_in__4__2;
  unsigned long des_single__3_sbox_in__4__3;
  unsigned long des_single__3_sbox_in__4__4;
  unsigned long des_single__3_sbox_in__4__5;
  unsigned long des_single__3_sbox_in__4__6;
  unsigned long des_single__3_sbox_in__5__1;
  unsigned long des_single__3_sbox_in__5__2;
  unsigned long des_single__3_sbox_in__5__3;
  unsigned long des_single__3_sbox_in__5__4;
  unsigned long des_single__3_sbox_in__5__5;
  unsigned long des_single__3_sbox_in__5__6;
  unsigned long des_single__3_sbox_in__6__1;
  unsigned long des_single__3_sbox_in__6__2;
  unsigned long des_single__3_sbox_in__6__3;
  unsigned long des_single__3_sbox_in__6__4;
  unsigned long des_single__3_sbox_in__6__5;
  unsigned long des_single__3_sbox_in__6__6;
  unsigned long des_single__3_sbox_in__7__1;
  unsigned long des_single__3_sbox_in__7__2;
  unsigned long des_single__3_sbox_in__7__3;
  unsigned long des_single__3_sbox_in__7__4;
  unsigned long des_single__3_sbox_in__7__5;
  unsigned long des_single__3_sbox_in__7__6;
  unsigned long des_single__3_sbox_out__0__1;
  unsigned long des_single__3_sbox_out__0__2;
  unsigned long des_single__3_sbox_out__0__3;
  unsigned long des_single__3_sbox_out__0__4;
  unsigned long des_single__3_sbox_out__1__1;
  unsigned long des_single__3_sbox_out__1__2;
  unsigned long des_single__3_sbox_out__1__3;
  unsigned long des_single__3_sbox_out__1__4;
  unsigned long des_single__3_sbox_out__2__1;
  unsigned long des_single__3_sbox_out__2__2;
  unsigned long des_single__3_sbox_out__2__3;
  unsigned long des_single__3_sbox_out__2__4;
  unsigned long des_single__3_sbox_out__3__1;
  unsigned long des_single__3_sbox_out__3__2;
  unsigned long des_single__3_sbox_out__3__3;
  unsigned long des_single__3_sbox_out__3__4;
  unsigned long des_single__3_sbox_out__4__1;
  unsigned long des_single__3_sbox_out__4__2;
  unsigned long des_single__3_sbox_out__4__3;
  unsigned long des_single__3_sbox_out__4__4;
  unsigned long des_single__3_sbox_out__5__1;
  unsigned long des_single__3_sbox_out__5__2;
  unsigned long des_single__3_sbox_out__5__3;
  unsigned long des_single__3_sbox_out__5__4;
  unsigned long des_single__3_sbox_out__6__1;
  unsigned long des_single__3_sbox_out__6__2;
  unsigned long des_single__3_sbox_out__6__3;
  unsigned long des_single__3_sbox_out__6__4;
  unsigned long des_single__3_sbox_out__7__1;
  unsigned long des_single__3_sbox_out__7__2;
  unsigned long des_single__3_sbox_out__7__3;
  unsigned long des_single__3_sbox_out__7__4;
  unsigned long des_single__4_sbox_in__0__1;
  unsigned long des_single__4_sbox_in__0__2;
  unsigned long des_single__4_sbox_in__0__3;
  unsigned long des_single__4_sbox_in__0__4;
  unsigned long des_single__4_sbox_in__0__5;
  unsigned long des_single__4_sbox_in__0__6;
  unsigned long des_single__4_sbox_in__1__1;
  unsigned long des_single__4_sbox_in__1__2;
  unsigned long des_single__4_sbox_in__1__3;
  unsigned long des_single__4_sbox_in__1__4;
  unsigned long des_single__4_sbox_in__1__5;
  unsigned long des_single__4_sbox_in__1__6;
  unsigned long des_single__4_sbox_in__2__1;
  unsigned long des_single__4_sbox_in__2__2;
  unsigned long des_single__4_sbox_in__2__3;
  unsigned long des_single__4_sbox_in__2__4;
  unsigned long des_single__4_sbox_in__2__5;
  unsigned long des_single__4_sbox_in__2__6;
  unsigned long des_single__4_sbox_in__3__1;
  unsigned long des_single__4_sbox_in__3__2;
  unsigned long des_single__4_sbox_in__3__3;
  unsigned long des_single__4_sbox_in__3__4;
  unsigned long des_single__4_sbox_in__3__5;
  unsigned long des_single__4_sbox_in__3__6;
  unsigned long des_single__4_sbox_in__4__1;
  unsigned long des_single__4_sbox_in__4__2;
  unsigned long des_single__4_sbox_in__4__3;
  unsigned long des_single__4_sbox_in__4__4;
  unsigned long des_single__4_sbox_in__4__5;
  unsigned long des_single__4_sbox_in__4__6;
  unsigned long des_single__4_sbox_in__5__1;
  unsigned long des_single__4_sbox_in__5__2;
  unsigned long des_single__4_sbox_in__5__3;
  unsigned long des_single__4_sbox_in__5__4;
  unsigned long des_single__4_sbox_in__5__5;
  unsigned long des_single__4_sbox_in__5__6;
  unsigned long des_single__4_sbox_in__6__1;
  unsigned long des_single__4_sbox_in__6__2;
  unsigned long des_single__4_sbox_in__6__3;
  unsigned long des_single__4_sbox_in__6__4;
  unsigned long des_single__4_sbox_in__6__5;
  unsigned long des_single__4_sbox_in__6__6;
  unsigned long des_single__4_sbox_in__7__1;
  unsigned long des_single__4_sbox_in__7__2;
  unsigned long des_single__4_sbox_in__7__3;
  unsigned long des_single__4_sbox_in__7__4;
  unsigned long des_single__4_sbox_in__7__5;
  unsigned long des_single__4_sbox_in__7__6;
  unsigned long des_single__4_sbox_out__0__1;
  unsigned long des_single__4_sbox_out__0__2;
  unsigned long des_single__4_sbox_out__0__3;
  unsigned long des_single__4_sbox_out__0__4;
  unsigned long des_single__4_sbox_out__1__1;
  unsigned long des_single__4_sbox_out__1__2;
  unsigned long des_single__4_sbox_out__1__3;
  unsigned long des_single__4_sbox_out__1__4;
  unsigned long des_single__4_sbox_out__2__1;
  unsigned long des_single__4_sbox_out__2__2;
  unsigned long des_single__4_sbox_out__2__3;
  unsigned long des_single__4_sbox_out__2__4;
  unsigned long des_single__4_sbox_out__3__1;
  unsigned long des_single__4_sbox_out__3__2;
  unsigned long des_single__4_sbox_out__3__3;
  unsigned long des_single__4_sbox_out__3__4;
  unsigned long des_single__4_sbox_out__4__1;
  unsigned long des_single__4_sbox_out__4__2;
  unsigned long des_single__4_sbox_out__4__3;
  unsigned long des_single__4_sbox_out__4__4;
  unsigned long des_single__4_sbox_out__5__1;
  unsigned long des_single__4_sbox_out__5__2;
  unsigned long des_single__4_sbox_out__5__3;
  unsigned long des_single__4_sbox_out__5__4;
  unsigned long des_single__4_sbox_out__6__1;
  unsigned long des_single__4_sbox_out__6__2;
  unsigned long des_single__4_sbox_out__6__3;
  unsigned long des_single__4_sbox_out__6__4;
  unsigned long des_single__4_sbox_out__7__1;
  unsigned long des_single__4_sbox_out__7__2;
  unsigned long des_single__4_sbox_out__7__3;
  unsigned long des_single__4_sbox_out__7__4;
  unsigned long des_single__5_sbox_in__0__1;
  unsigned long des_single__5_sbox_in__0__2;
  unsigned long des_single__5_sbox_in__0__3;
  unsigned long des_single__5_sbox_in__0__4;
  unsigned long des_single__5_sbox_in__0__5;
  unsigned long des_single__5_sbox_in__0__6;
  unsigned long des_single__5_sbox_in__1__1;
  unsigned long des_single__5_sbox_in__1__2;
  unsigned long des_single__5_sbox_in__1__3;
  unsigned long des_single__5_sbox_in__1__4;
  unsigned long des_single__5_sbox_in__1__5;
  unsigned long des_single__5_sbox_in__1__6;
  unsigned long des_single__5_sbox_in__2__1;
  unsigned long des_single__5_sbox_in__2__2;
  unsigned long des_single__5_sbox_in__2__3;
  unsigned long des_single__5_sbox_in__2__4;
  unsigned long des_single__5_sbox_in__2__5;
  unsigned long des_single__5_sbox_in__2__6;
  unsigned long des_single__5_sbox_in__3__1;
  unsigned long des_single__5_sbox_in__3__2;
  unsigned long des_single__5_sbox_in__3__3;
  unsigned long des_single__5_sbox_in__3__4;
  unsigned long des_single__5_sbox_in__3__5;
  unsigned long des_single__5_sbox_in__3__6;
  unsigned long des_single__5_sbox_in__4__1;
  unsigned long des_single__5_sbox_in__4__2;
  unsigned long des_single__5_sbox_in__4__3;
  unsigned long des_single__5_sbox_in__4__4;
  unsigned long des_single__5_sbox_in__4__5;
  unsigned long des_single__5_sbox_in__4__6;
  unsigned long des_single__5_sbox_in__5__1;
  unsigned long des_single__5_sbox_in__5__2;
  unsigned long des_single__5_sbox_in__5__3;
  unsigned long des_single__5_sbox_in__5__4;
  unsigned long des_single__5_sbox_in__5__5;
  unsigned long des_single__5_sbox_in__5__6;
  unsigned long des_single__5_sbox_in__6__1;
  unsigned long des_single__5_sbox_in__6__2;
  unsigned long des_single__5_sbox_in__6__3;
  unsigned long des_single__5_sbox_in__6__4;
  unsigned long des_single__5_sbox_in__6__5;
  unsigned long des_single__5_sbox_in__6__6;
  unsigned long des_single__5_sbox_in__7__1;
  unsigned long des_single__5_sbox_in__7__2;
  unsigned long des_single__5_sbox_in__7__3;
  unsigned long des_single__5_sbox_in__7__4;
  unsigned long des_single__5_sbox_in__7__5;
  unsigned long des_single__5_sbox_in__7__6;
  unsigned long des_single__5_sbox_out__0__1;
  unsigned long des_single__5_sbox_out__0__2;
  unsigned long des_single__5_sbox_out__0__3;
  unsigned long des_single__5_sbox_out__0__4;
  unsigned long des_single__5_sbox_out__1__1;
  unsigned long des_single__5_sbox_out__1__2;
  unsigned long des_single__5_sbox_out__1__3;
  unsigned long des_single__5_sbox_out__1__4;
  unsigned long des_single__5_sbox_out__2__1;
  unsigned long des_single__5_sbox_out__2__2;
  unsigned long des_single__5_sbox_out__2__3;
  unsigned long des_single__5_sbox_out__2__4;
  unsigned long des_single__5_sbox_out__3__1;
  unsigned long des_single__5_sbox_out__3__2;
  unsigned long des_single__5_sbox_out__3__3;
  unsigned long des_single__5_sbox_out__3__4;
  unsigned long des_single__5_sbox_out__4__1;
  unsigned long des_single__5_sbox_out__4__2;
  unsigned long des_single__5_sbox_out__4__3;
  unsigned long des_single__5_sbox_out__4__4;
  unsigned long des_single__5_sbox_out__5__1;
  unsigned long des_single__5_sbox_out__5__2;
  unsigned long des_single__5_sbox_out__5__3;
  unsigned long des_single__5_sbox_out__5__4;
  unsigned long des_single__5_sbox_out__6__1;
  unsigned long des_single__5_sbox_out__6__2;
  unsigned long des_single__5_sbox_out__6__3;
  unsigned long des_single__5_sbox_out__6__4;
  unsigned long des_single__5_sbox_out__7__1;
  unsigned long des_single__5_sbox_out__7__2;
  unsigned long des_single__5_sbox_out__7__3;
  unsigned long des_single__5_sbox_out__7__4;
  unsigned long des_single__6_sbox_in__0__1;
  unsigned long des_single__6_sbox_in__0__2;
  unsigned long des_single__6_sbox_in__0__3;
  unsigned long des_single__6_sbox_in__0__4;
  unsigned long des_single__6_sbox_in__0__5;
  unsigned long des_single__6_sbox_in__0__6;
  unsigned long des_single__6_sbox_in__1__1;
  unsigned long des_single__6_sbox_in__1__2;
  unsigned long des_single__6_sbox_in__1__3;
  unsigned long des_single__6_sbox_in__1__4;
  unsigned long des_single__6_sbox_in__1__5;
  unsigned long des_single__6_sbox_in__1__6;
  unsigned long des_single__6_sbox_in__2__1;
  unsigned long des_single__6_sbox_in__2__2;
  unsigned long des_single__6_sbox_in__2__3;
  unsigned long des_single__6_sbox_in__2__4;
  unsigned long des_single__6_sbox_in__2__5;
  unsigned long des_single__6_sbox_in__2__6;
  unsigned long des_single__6_sbox_in__3__1;
  unsigned long des_single__6_sbox_in__3__2;
  unsigned long des_single__6_sbox_in__3__3;
  unsigned long des_single__6_sbox_in__3__4;
  unsigned long des_single__6_sbox_in__3__5;
  unsigned long des_single__6_sbox_in__3__6;
  unsigned long des_single__6_sbox_in__4__1;
  unsigned long des_single__6_sbox_in__4__2;
  unsigned long des_single__6_sbox_in__4__3;
  unsigned long des_single__6_sbox_in__4__4;
  unsigned long des_single__6_sbox_in__4__5;
  unsigned long des_single__6_sbox_in__4__6;
  unsigned long des_single__6_sbox_in__5__1;
  unsigned long des_single__6_sbox_in__5__2;
  unsigned long des_single__6_sbox_in__5__3;
  unsigned long des_single__6_sbox_in__5__4;
  unsigned long des_single__6_sbox_in__5__5;
  unsigned long des_single__6_sbox_in__5__6;
  unsigned long des_single__6_sbox_in__6__1;
  unsigned long des_single__6_sbox_in__6__2;
  unsigned long des_single__6_sbox_in__6__3;
  unsigned long des_single__6_sbox_in__6__4;
  unsigned long des_single__6_sbox_in__6__5;
  unsigned long des_single__6_sbox_in__6__6;
  unsigned long des_single__6_sbox_in__7__1;
  unsigned long des_single__6_sbox_in__7__2;
  unsigned long des_single__6_sbox_in__7__3;
  unsigned long des_single__6_sbox_in__7__4;
  unsigned long des_single__6_sbox_in__7__5;
  unsigned long des_single__6_sbox_in__7__6;
  unsigned long des_single__6_sbox_out__0__1;
  unsigned long des_single__6_sbox_out__0__2;
  unsigned long des_single__6_sbox_out__0__3;
  unsigned long des_single__6_sbox_out__0__4;
  unsigned long des_single__6_sbox_out__1__1;
  unsigned long des_single__6_sbox_out__1__2;
  unsigned long des_single__6_sbox_out__1__3;
  unsigned long des_single__6_sbox_out__1__4;
  unsigned long des_single__6_sbox_out__2__1;
  unsigned long des_single__6_sbox_out__2__2;
  unsigned long des_single__6_sbox_out__2__3;
  unsigned long des_single__6_sbox_out__2__4;
  unsigned long des_single__6_sbox_out__3__1;
  unsigned long des_single__6_sbox_out__3__2;
  unsigned long des_single__6_sbox_out__3__3;
  unsigned long des_single__6_sbox_out__3__4;
  unsigned long des_single__6_sbox_out__4__1;
  unsigned long des_single__6_sbox_out__4__2;
  unsigned long des_single__6_sbox_out__4__3;
  unsigned long des_single__6_sbox_out__4__4;
  unsigned long des_single__6_sbox_out__5__1;
  unsigned long des_single__6_sbox_out__5__2;
  unsigned long des_single__6_sbox_out__5__3;
  unsigned long des_single__6_sbox_out__5__4;
  unsigned long des_single__6_sbox_out__6__1;
  unsigned long des_single__6_sbox_out__6__2;
  unsigned long des_single__6_sbox_out__6__3;
  unsigned long des_single__6_sbox_out__6__4;
  unsigned long des_single__6_sbox_out__7__1;
  unsigned long des_single__6_sbox_out__7__2;
  unsigned long des_single__6_sbox_out__7__3;
  unsigned long des_single__6_sbox_out__7__4;
  unsigned long des_single__7_sbox_in__0__1;
  unsigned long des_single__7_sbox_in__0__2;
  unsigned long des_single__7_sbox_in__0__3;
  unsigned long des_single__7_sbox_in__0__4;
  unsigned long des_single__7_sbox_in__0__5;
  unsigned long des_single__7_sbox_in__0__6;
  unsigned long des_single__7_sbox_in__1__1;
  unsigned long des_single__7_sbox_in__1__2;
  unsigned long des_single__7_sbox_in__1__3;
  unsigned long des_single__7_sbox_in__1__4;
  unsigned long des_single__7_sbox_in__1__5;
  unsigned long des_single__7_sbox_in__1__6;
  unsigned long des_single__7_sbox_in__2__1;
  unsigned long des_single__7_sbox_in__2__2;
  unsigned long des_single__7_sbox_in__2__3;
  unsigned long des_single__7_sbox_in__2__4;
  unsigned long des_single__7_sbox_in__2__5;
  unsigned long des_single__7_sbox_in__2__6;
  unsigned long des_single__7_sbox_in__3__1;
  unsigned long des_single__7_sbox_in__3__2;
  unsigned long des_single__7_sbox_in__3__3;
  unsigned long des_single__7_sbox_in__3__4;
  unsigned long des_single__7_sbox_in__3__5;
  unsigned long des_single__7_sbox_in__3__6;
  unsigned long des_single__7_sbox_in__4__1;
  unsigned long des_single__7_sbox_in__4__2;
  unsigned long des_single__7_sbox_in__4__3;
  unsigned long des_single__7_sbox_in__4__4;
  unsigned long des_single__7_sbox_in__4__5;
  unsigned long des_single__7_sbox_in__4__6;
  unsigned long des_single__7_sbox_in__5__1;
  unsigned long des_single__7_sbox_in__5__2;
  unsigned long des_single__7_sbox_in__5__3;
  unsigned long des_single__7_sbox_in__5__4;
  unsigned long des_single__7_sbox_in__5__5;
  unsigned long des_single__7_sbox_in__5__6;
  unsigned long des_single__7_sbox_in__6__1;
  unsigned long des_single__7_sbox_in__6__2;
  unsigned long des_single__7_sbox_in__6__3;
  unsigned long des_single__7_sbox_in__6__4;
  unsigned long des_single__7_sbox_in__6__5;
  unsigned long des_single__7_sbox_in__6__6;
  unsigned long des_single__7_sbox_in__7__1;
  unsigned long des_single__7_sbox_in__7__2;
  unsigned long des_single__7_sbox_in__7__3;
  unsigned long des_single__7_sbox_in__7__4;
  unsigned long des_single__7_sbox_in__7__5;
  unsigned long des_single__7_sbox_in__7__6;
  unsigned long des_single__7_sbox_out__0__1;
  unsigned long des_single__7_sbox_out__0__2;
  unsigned long des_single__7_sbox_out__0__3;
  unsigned long des_single__7_sbox_out__0__4;
  unsigned long des_single__7_sbox_out__1__1;
  unsigned long des_single__7_sbox_out__1__2;
  unsigned long des_single__7_sbox_out__1__3;
  unsigned long des_single__7_sbox_out__1__4;
  unsigned long des_single__7_sbox_out__2__1;
  unsigned long des_single__7_sbox_out__2__2;
  unsigned long des_single__7_sbox_out__2__3;
  unsigned long des_single__7_sbox_out__2__4;
  unsigned long des_single__7_sbox_out__3__1;
  unsigned long des_single__7_sbox_out__3__2;
  unsigned long des_single__7_sbox_out__3__3;
  unsigned long des_single__7_sbox_out__3__4;
  unsigned long des_single__7_sbox_out__4__1;
  unsigned long des_single__7_sbox_out__4__2;
  unsigned long des_single__7_sbox_out__4__3;
  unsigned long des_single__7_sbox_out__4__4;
  unsigned long des_single__7_sbox_out__5__1;
  unsigned long des_single__7_sbox_out__5__2;
  unsigned long des_single__7_sbox_out__5__3;
  unsigned long des_single__7_sbox_out__5__4;
  unsigned long des_single__7_sbox_out__6__1;
  unsigned long des_single__7_sbox_out__6__2;
  unsigned long des_single__7_sbox_out__6__3;
  unsigned long des_single__7_sbox_out__6__4;
  unsigned long des_single__7_sbox_out__7__1;
  unsigned long des_single__7_sbox_out__7__2;
  unsigned long des_single__7_sbox_out__7__3;
  unsigned long des_single__7_sbox_out__7__4;
  unsigned long des_single__8_sbox_in__0__1;
  unsigned long des_single__8_sbox_in__0__2;
  unsigned long des_single__8_sbox_in__0__3;
  unsigned long des_single__8_sbox_in__0__4;
  unsigned long des_single__8_sbox_in__0__5;
  unsigned long des_single__8_sbox_in__0__6;
  unsigned long des_single__8_sbox_in__1__1;
  unsigned long des_single__8_sbox_in__1__2;
  unsigned long des_single__8_sbox_in__1__3;
  unsigned long des_single__8_sbox_in__1__4;
  unsigned long des_single__8_sbox_in__1__5;
  unsigned long des_single__8_sbox_in__1__6;
  unsigned long des_single__8_sbox_in__2__1;
  unsigned long des_single__8_sbox_in__2__2;
  unsigned long des_single__8_sbox_in__2__3;
  unsigned long des_single__8_sbox_in__2__4;
  unsigned long des_single__8_sbox_in__2__5;
  unsigned long des_single__8_sbox_in__2__6;
  unsigned long des_single__8_sbox_in__3__1;
  unsigned long des_single__8_sbox_in__3__2;
  unsigned long des_single__8_sbox_in__3__3;
  unsigned long des_single__8_sbox_in__3__4;
  unsigned long des_single__8_sbox_in__3__5;
  unsigned long des_single__8_sbox_in__3__6;
  unsigned long des_single__8_sbox_in__4__1;
  unsigned long des_single__8_sbox_in__4__2;
  unsigned long des_single__8_sbox_in__4__3;
  unsigned long des_single__8_sbox_in__4__4;
  unsigned long des_single__8_sbox_in__4__5;
  unsigned long des_single__8_sbox_in__4__6;
  unsigned long des_single__8_sbox_in__5__1;
  unsigned long des_single__8_sbox_in__5__2;
  unsigned long des_single__8_sbox_in__5__3;
  unsigned long des_single__8_sbox_in__5__4;
  unsigned long des_single__8_sbox_in__5__5;
  unsigned long des_single__8_sbox_in__5__6;
  unsigned long des_single__8_sbox_in__6__1;
  unsigned long des_single__8_sbox_in__6__2;
  unsigned long des_single__8_sbox_in__6__3;
  unsigned long des_single__8_sbox_in__6__4;
  unsigned long des_single__8_sbox_in__6__5;
  unsigned long des_single__8_sbox_in__6__6;
  unsigned long des_single__8_sbox_in__7__1;
  unsigned long des_single__8_sbox_in__7__2;
  unsigned long des_single__8_sbox_in__7__3;
  unsigned long des_single__8_sbox_in__7__4;
  unsigned long des_single__8_sbox_in__7__5;
  unsigned long des_single__8_sbox_in__7__6;
  unsigned long des_single__8_sbox_out__0__1;
  unsigned long des_single__8_sbox_out__0__2;
  unsigned long des_single__8_sbox_out__0__3;
  unsigned long des_single__8_sbox_out__0__4;
  unsigned long des_single__8_sbox_out__1__1;
  unsigned long des_single__8_sbox_out__1__2;
  unsigned long des_single__8_sbox_out__1__3;
  unsigned long des_single__8_sbox_out__1__4;
  unsigned long des_single__8_sbox_out__2__1;
  unsigned long des_single__8_sbox_out__2__2;
  unsigned long des_single__8_sbox_out__2__3;
  unsigned long des_single__8_sbox_out__2__4;
  unsigned long des_single__8_sbox_out__3__1;
  unsigned long des_single__8_sbox_out__3__2;
  unsigned long des_single__8_sbox_out__3__3;
  unsigned long des_single__8_sbox_out__3__4;
  unsigned long des_single__8_sbox_out__4__1;
  unsigned long des_single__8_sbox_out__4__2;
  unsigned long des_single__8_sbox_out__4__3;
  unsigned long des_single__8_sbox_out__4__4;
  unsigned long des_single__8_sbox_out__5__1;
  unsigned long des_single__8_sbox_out__5__2;
  unsigned long des_single__8_sbox_out__5__3;
  unsigned long des_single__8_sbox_out__5__4;
  unsigned long des_single__8_sbox_out__6__1;
  unsigned long des_single__8_sbox_out__6__2;
  unsigned long des_single__8_sbox_out__6__3;
  unsigned long des_single__8_sbox_out__6__4;
  unsigned long des_single__8_sbox_out__7__1;
  unsigned long des_single__8_sbox_out__7__2;
  unsigned long des_single__8_sbox_out__7__3;
  unsigned long des_single__8_sbox_out__7__4;
  unsigned long des_single__9_sbox_in__0__1;
  unsigned long des_single__9_sbox_in__0__2;
  unsigned long des_single__9_sbox_in__0__3;
  unsigned long des_single__9_sbox_in__0__4;
  unsigned long des_single__9_sbox_in__0__5;
  unsigned long des_single__9_sbox_in__0__6;
  unsigned long des_single__9_sbox_in__1__1;
  unsigned long des_single__9_sbox_in__1__2;
  unsigned long des_single__9_sbox_in__1__3;
  unsigned long des_single__9_sbox_in__1__4;
  unsigned long des_single__9_sbox_in__1__5;
  unsigned long des_single__9_sbox_in__1__6;
  unsigned long des_single__9_sbox_in__2__1;
  unsigned long des_single__9_sbox_in__2__2;
  unsigned long des_single__9_sbox_in__2__3;
  unsigned long des_single__9_sbox_in__2__4;
  unsigned long des_single__9_sbox_in__2__5;
  unsigned long des_single__9_sbox_in__2__6;
  unsigned long des_single__9_sbox_in__3__1;
  unsigned long des_single__9_sbox_in__3__2;
  unsigned long des_single__9_sbox_in__3__3;
  unsigned long des_single__9_sbox_in__3__4;
  unsigned long des_single__9_sbox_in__3__5;
  unsigned long des_single__9_sbox_in__3__6;
  unsigned long des_single__9_sbox_in__4__1;
  unsigned long des_single__9_sbox_in__4__2;
  unsigned long des_single__9_sbox_in__4__3;
  unsigned long des_single__9_sbox_in__4__4;
  unsigned long des_single__9_sbox_in__4__5;
  unsigned long des_single__9_sbox_in__4__6;
  unsigned long des_single__9_sbox_in__5__1;
  unsigned long des_single__9_sbox_in__5__2;
  unsigned long des_single__9_sbox_in__5__3;
  unsigned long des_single__9_sbox_in__5__4;
  unsigned long des_single__9_sbox_in__5__5;
  unsigned long des_single__9_sbox_in__5__6;
  unsigned long des_single__9_sbox_in__6__1;
  unsigned long des_single__9_sbox_in__6__2;
  unsigned long des_single__9_sbox_in__6__3;
  unsigned long des_single__9_sbox_in__6__4;
  unsigned long des_single__9_sbox_in__6__5;
  unsigned long des_single__9_sbox_in__6__6;
  unsigned long des_single__9_sbox_in__7__1;
  unsigned long des_single__9_sbox_in__7__2;
  unsigned long des_single__9_sbox_in__7__3;
  unsigned long des_single__9_sbox_in__7__4;
  unsigned long des_single__9_sbox_in__7__5;
  unsigned long des_single__9_sbox_in__7__6;
  unsigned long des_single__9_sbox_out__0__1;
  unsigned long des_single__9_sbox_out__0__2;
  unsigned long des_single__9_sbox_out__0__3;
  unsigned long des_single__9_sbox_out__0__4;
  unsigned long des_single__9_sbox_out__1__1;
  unsigned long des_single__9_sbox_out__1__2;
  unsigned long des_single__9_sbox_out__1__3;
  unsigned long des_single__9_sbox_out__1__4;
  unsigned long des_single__9_sbox_out__2__1;
  unsigned long des_single__9_sbox_out__2__2;
  unsigned long des_single__9_sbox_out__2__3;
  unsigned long des_single__9_sbox_out__2__4;
  unsigned long des_single__9_sbox_out__3__1;
  unsigned long des_single__9_sbox_out__3__2;
  unsigned long des_single__9_sbox_out__3__3;
  unsigned long des_single__9_sbox_out__3__4;
  unsigned long des_single__9_sbox_out__4__1;
  unsigned long des_single__9_sbox_out__4__2;
  unsigned long des_single__9_sbox_out__4__3;
  unsigned long des_single__9_sbox_out__4__4;
  unsigned long des_single__9_sbox_out__5__1;
  unsigned long des_single__9_sbox_out__5__2;
  unsigned long des_single__9_sbox_out__5__3;
  unsigned long des_single__9_sbox_out__5__4;
  unsigned long des_single__9_sbox_out__6__1;
  unsigned long des_single__9_sbox_out__6__2;
  unsigned long des_single__9_sbox_out__6__3;
  unsigned long des_single__9_sbox_out__6__4;
  unsigned long des_single__9_sbox_out__7__1;
  unsigned long des_single__9_sbox_out__7__2;
  unsigned long des_single__9_sbox_out__7__3;
  unsigned long des_single__9_sbox_out__7__4;
  unsigned long des_single__10_sbox_in__0__1;
  unsigned long des_single__10_sbox_in__0__2;
  unsigned long des_single__10_sbox_in__0__3;
  unsigned long des_single__10_sbox_in__0__4;
  unsigned long des_single__10_sbox_in__0__5;
  unsigned long des_single__10_sbox_in__0__6;
  unsigned long des_single__10_sbox_in__1__1;
  unsigned long des_single__10_sbox_in__1__2;
  unsigned long des_single__10_sbox_in__1__3;
  unsigned long des_single__10_sbox_in__1__4;
  unsigned long des_single__10_sbox_in__1__5;
  unsigned long des_single__10_sbox_in__1__6;
  unsigned long des_single__10_sbox_in__2__1;
  unsigned long des_single__10_sbox_in__2__2;
  unsigned long des_single__10_sbox_in__2__3;
  unsigned long des_single__10_sbox_in__2__4;
  unsigned long des_single__10_sbox_in__2__5;
  unsigned long des_single__10_sbox_in__2__6;
  unsigned long des_single__10_sbox_in__3__1;
  unsigned long des_single__10_sbox_in__3__2;
  unsigned long des_single__10_sbox_in__3__3;
  unsigned long des_single__10_sbox_in__3__4;
  unsigned long des_single__10_sbox_in__3__5;
  unsigned long des_single__10_sbox_in__3__6;
  unsigned long des_single__10_sbox_in__4__1;
  unsigned long des_single__10_sbox_in__4__2;
  unsigned long des_single__10_sbox_in__4__3;
  unsigned long des_single__10_sbox_in__4__4;
  unsigned long des_single__10_sbox_in__4__5;
  unsigned long des_single__10_sbox_in__4__6;
  unsigned long des_single__10_sbox_in__5__1;
  unsigned long des_single__10_sbox_in__5__2;
  unsigned long des_single__10_sbox_in__5__3;
  unsigned long des_single__10_sbox_in__5__4;
  unsigned long des_single__10_sbox_in__5__5;
  unsigned long des_single__10_sbox_in__5__6;
  unsigned long des_single__10_sbox_in__6__1;
  unsigned long des_single__10_sbox_in__6__2;
  unsigned long des_single__10_sbox_in__6__3;
  unsigned long des_single__10_sbox_in__6__4;
  unsigned long des_single__10_sbox_in__6__5;
  unsigned long des_single__10_sbox_in__6__6;
  unsigned long des_single__10_sbox_in__7__1;
  unsigned long des_single__10_sbox_in__7__2;
  unsigned long des_single__10_sbox_in__7__3;
  unsigned long des_single__10_sbox_in__7__4;
  unsigned long des_single__10_sbox_in__7__5;
  unsigned long des_single__10_sbox_in__7__6;
  unsigned long des_single__10_sbox_out__0__1;
  unsigned long des_single__10_sbox_out__0__2;
  unsigned long des_single__10_sbox_out__0__3;
  unsigned long des_single__10_sbox_out__0__4;
  unsigned long des_single__10_sbox_out__1__1;
  unsigned long des_single__10_sbox_out__1__2;
  unsigned long des_single__10_sbox_out__1__3;
  unsigned long des_single__10_sbox_out__1__4;
  unsigned long des_single__10_sbox_out__2__1;
  unsigned long des_single__10_sbox_out__2__2;
  unsigned long des_single__10_sbox_out__2__3;
  unsigned long des_single__10_sbox_out__2__4;
  unsigned long des_single__10_sbox_out__3__1;
  unsigned long des_single__10_sbox_out__3__2;
  unsigned long des_single__10_sbox_out__3__3;
  unsigned long des_single__10_sbox_out__3__4;
  unsigned long des_single__10_sbox_out__4__1;
  unsigned long des_single__10_sbox_out__4__2;
  unsigned long des_single__10_sbox_out__4__3;
  unsigned long des_single__10_sbox_out__4__4;
  unsigned long des_single__10_sbox_out__5__1;
  unsigned long des_single__10_sbox_out__5__2;
  unsigned long des_single__10_sbox_out__5__3;
  unsigned long des_single__10_sbox_out__5__4;
  unsigned long des_single__10_sbox_out__6__1;
  unsigned long des_single__10_sbox_out__6__2;
  unsigned long des_single__10_sbox_out__6__3;
  unsigned long des_single__10_sbox_out__6__4;
  unsigned long des_single__10_sbox_out__7__1;
  unsigned long des_single__10_sbox_out__7__2;
  unsigned long des_single__10_sbox_out__7__3;
  unsigned long des_single__10_sbox_out__7__4;
  unsigned long des_single__11_sbox_in__0__1;
  unsigned long des_single__11_sbox_in__0__2;
  unsigned long des_single__11_sbox_in__0__3;
  unsigned long des_single__11_sbox_in__0__4;
  unsigned long des_single__11_sbox_in__0__5;
  unsigned long des_single__11_sbox_in__0__6;
  unsigned long des_single__11_sbox_in__1__1;
  unsigned long des_single__11_sbox_in__1__2;
  unsigned long des_single__11_sbox_in__1__3;
  unsigned long des_single__11_sbox_in__1__4;
  unsigned long des_single__11_sbox_in__1__5;
  unsigned long des_single__11_sbox_in__1__6;
  unsigned long des_single__11_sbox_in__2__1;
  unsigned long des_single__11_sbox_in__2__2;
  unsigned long des_single__11_sbox_in__2__3;
  unsigned long des_single__11_sbox_in__2__4;
  unsigned long des_single__11_sbox_in__2__5;
  unsigned long des_single__11_sbox_in__2__6;
  unsigned long des_single__11_sbox_in__3__1;
  unsigned long des_single__11_sbox_in__3__2;
  unsigned long des_single__11_sbox_in__3__3;
  unsigned long des_single__11_sbox_in__3__4;
  unsigned long des_single__11_sbox_in__3__5;
  unsigned long des_single__11_sbox_in__3__6;
  unsigned long des_single__11_sbox_in__4__1;
  unsigned long des_single__11_sbox_in__4__2;
  unsigned long des_single__11_sbox_in__4__3;
  unsigned long des_single__11_sbox_in__4__4;
  unsigned long des_single__11_sbox_in__4__5;
  unsigned long des_single__11_sbox_in__4__6;
  unsigned long des_single__11_sbox_in__5__1;
  unsigned long des_single__11_sbox_in__5__2;
  unsigned long des_single__11_sbox_in__5__3;
  unsigned long des_single__11_sbox_in__5__4;
  unsigned long des_single__11_sbox_in__5__5;
  unsigned long des_single__11_sbox_in__5__6;
  unsigned long des_single__11_sbox_in__6__1;
  unsigned long des_single__11_sbox_in__6__2;
  unsigned long des_single__11_sbox_in__6__3;
  unsigned long des_single__11_sbox_in__6__4;
  unsigned long des_single__11_sbox_in__6__5;
  unsigned long des_single__11_sbox_in__6__6;
  unsigned long des_single__11_sbox_in__7__1;
  unsigned long des_single__11_sbox_in__7__2;
  unsigned long des_single__11_sbox_in__7__3;
  unsigned long des_single__11_sbox_in__7__4;
  unsigned long des_single__11_sbox_in__7__5;
  unsigned long des_single__11_sbox_in__7__6;
  unsigned long des_single__11_sbox_out__0__1;
  unsigned long des_single__11_sbox_out__0__2;
  unsigned long des_single__11_sbox_out__0__3;
  unsigned long des_single__11_sbox_out__0__4;
  unsigned long des_single__11_sbox_out__1__1;
  unsigned long des_single__11_sbox_out__1__2;
  unsigned long des_single__11_sbox_out__1__3;
  unsigned long des_single__11_sbox_out__1__4;
  unsigned long des_single__11_sbox_out__2__1;
  unsigned long des_single__11_sbox_out__2__2;
  unsigned long des_single__11_sbox_out__2__3;
  unsigned long des_single__11_sbox_out__2__4;
  unsigned long des_single__11_sbox_out__3__1;
  unsigned long des_single__11_sbox_out__3__2;
  unsigned long des_single__11_sbox_out__3__3;
  unsigned long des_single__11_sbox_out__3__4;
  unsigned long des_single__11_sbox_out__4__1;
  unsigned long des_single__11_sbox_out__4__2;
  unsigned long des_single__11_sbox_out__4__3;
  unsigned long des_single__11_sbox_out__4__4;
  unsigned long des_single__11_sbox_out__5__1;
  unsigned long des_single__11_sbox_out__5__2;
  unsigned long des_single__11_sbox_out__5__3;
  unsigned long des_single__11_sbox_out__5__4;
  unsigned long des_single__11_sbox_out__6__1;
  unsigned long des_single__11_sbox_out__6__2;
  unsigned long des_single__11_sbox_out__6__3;
  unsigned long des_single__11_sbox_out__6__4;
  unsigned long des_single__11_sbox_out__7__1;
  unsigned long des_single__11_sbox_out__7__2;
  unsigned long des_single__11_sbox_out__7__3;
  unsigned long des_single__11_sbox_out__7__4;
  unsigned long des_single__12_sbox_in__0__1;
  unsigned long des_single__12_sbox_in__0__2;
  unsigned long des_single__12_sbox_in__0__3;
  unsigned long des_single__12_sbox_in__0__4;
  unsigned long des_single__12_sbox_in__0__5;
  unsigned long des_single__12_sbox_in__0__6;
  unsigned long des_single__12_sbox_in__1__1;
  unsigned long des_single__12_sbox_in__1__2;
  unsigned long des_single__12_sbox_in__1__3;
  unsigned long des_single__12_sbox_in__1__4;
  unsigned long des_single__12_sbox_in__1__5;
  unsigned long des_single__12_sbox_in__1__6;
  unsigned long des_single__12_sbox_in__2__1;
  unsigned long des_single__12_sbox_in__2__2;
  unsigned long des_single__12_sbox_in__2__3;
  unsigned long des_single__12_sbox_in__2__4;
  unsigned long des_single__12_sbox_in__2__5;
  unsigned long des_single__12_sbox_in__2__6;
  unsigned long des_single__12_sbox_in__3__1;
  unsigned long des_single__12_sbox_in__3__2;
  unsigned long des_single__12_sbox_in__3__3;
  unsigned long des_single__12_sbox_in__3__4;
  unsigned long des_single__12_sbox_in__3__5;
  unsigned long des_single__12_sbox_in__3__6;
  unsigned long des_single__12_sbox_in__4__1;
  unsigned long des_single__12_sbox_in__4__2;
  unsigned long des_single__12_sbox_in__4__3;
  unsigned long des_single__12_sbox_in__4__4;
  unsigned long des_single__12_sbox_in__4__5;
  unsigned long des_single__12_sbox_in__4__6;
  unsigned long des_single__12_sbox_in__5__1;
  unsigned long des_single__12_sbox_in__5__2;
  unsigned long des_single__12_sbox_in__5__3;
  unsigned long des_single__12_sbox_in__5__4;
  unsigned long des_single__12_sbox_in__5__5;
  unsigned long des_single__12_sbox_in__5__6;
  unsigned long des_single__12_sbox_in__6__1;
  unsigned long des_single__12_sbox_in__6__2;
  unsigned long des_single__12_sbox_in__6__3;
  unsigned long des_single__12_sbox_in__6__4;
  unsigned long des_single__12_sbox_in__6__5;
  unsigned long des_single__12_sbox_in__6__6;
  unsigned long des_single__12_sbox_in__7__1;
  unsigned long des_single__12_sbox_in__7__2;
  unsigned long des_single__12_sbox_in__7__3;
  unsigned long des_single__12_sbox_in__7__4;
  unsigned long des_single__12_sbox_in__7__5;
  unsigned long des_single__12_sbox_in__7__6;
  unsigned long des_single__12_sbox_out__0__1;
  unsigned long des_single__12_sbox_out__0__2;
  unsigned long des_single__12_sbox_out__0__3;
  unsigned long des_single__12_sbox_out__0__4;
  unsigned long des_single__12_sbox_out__1__1;
  unsigned long des_single__12_sbox_out__1__2;
  unsigned long des_single__12_sbox_out__1__3;
  unsigned long des_single__12_sbox_out__1__4;
  unsigned long des_single__12_sbox_out__2__1;
  unsigned long des_single__12_sbox_out__2__2;
  unsigned long des_single__12_sbox_out__2__3;
  unsigned long des_single__12_sbox_out__2__4;
  unsigned long des_single__12_sbox_out__3__1;
  unsigned long des_single__12_sbox_out__3__2;
  unsigned long des_single__12_sbox_out__3__3;
  unsigned long des_single__12_sbox_out__3__4;
  unsigned long des_single__12_sbox_out__4__1;
  unsigned long des_single__12_sbox_out__4__2;
  unsigned long des_single__12_sbox_out__4__3;
  unsigned long des_single__12_sbox_out__4__4;
  unsigned long des_single__12_sbox_out__5__1;
  unsigned long des_single__12_sbox_out__5__2;
  unsigned long des_single__12_sbox_out__5__3;
  unsigned long des_single__12_sbox_out__5__4;
  unsigned long des_single__12_sbox_out__6__1;
  unsigned long des_single__12_sbox_out__6__2;
  unsigned long des_single__12_sbox_out__6__3;
  unsigned long des_single__12_sbox_out__6__4;
  unsigned long des_single__12_sbox_out__7__1;
  unsigned long des_single__12_sbox_out__7__2;
  unsigned long des_single__12_sbox_out__7__3;
  unsigned long des_single__12_sbox_out__7__4;
  unsigned long des_single__13_sbox_in__0__1;
  unsigned long des_single__13_sbox_in__0__2;
  unsigned long des_single__13_sbox_in__0__3;
  unsigned long des_single__13_sbox_in__0__4;
  unsigned long des_single__13_sbox_in__0__5;
  unsigned long des_single__13_sbox_in__0__6;
  unsigned long des_single__13_sbox_in__1__1;
  unsigned long des_single__13_sbox_in__1__2;
  unsigned long des_single__13_sbox_in__1__3;
  unsigned long des_single__13_sbox_in__1__4;
  unsigned long des_single__13_sbox_in__1__5;
  unsigned long des_single__13_sbox_in__1__6;
  unsigned long des_single__13_sbox_in__2__1;
  unsigned long des_single__13_sbox_in__2__2;
  unsigned long des_single__13_sbox_in__2__3;
  unsigned long des_single__13_sbox_in__2__4;
  unsigned long des_single__13_sbox_in__2__5;
  unsigned long des_single__13_sbox_in__2__6;
  unsigned long des_single__13_sbox_in__3__1;
  unsigned long des_single__13_sbox_in__3__2;
  unsigned long des_single__13_sbox_in__3__3;
  unsigned long des_single__13_sbox_in__3__4;
  unsigned long des_single__13_sbox_in__3__5;
  unsigned long des_single__13_sbox_in__3__6;
  unsigned long des_single__13_sbox_in__4__1;
  unsigned long des_single__13_sbox_in__4__2;
  unsigned long des_single__13_sbox_in__4__3;
  unsigned long des_single__13_sbox_in__4__4;
  unsigned long des_single__13_sbox_in__4__5;
  unsigned long des_single__13_sbox_in__4__6;
  unsigned long des_single__13_sbox_in__5__1;
  unsigned long des_single__13_sbox_in__5__2;
  unsigned long des_single__13_sbox_in__5__3;
  unsigned long des_single__13_sbox_in__5__4;
  unsigned long des_single__13_sbox_in__5__5;
  unsigned long des_single__13_sbox_in__5__6;
  unsigned long des_single__13_sbox_in__6__1;
  unsigned long des_single__13_sbox_in__6__2;
  unsigned long des_single__13_sbox_in__6__3;
  unsigned long des_single__13_sbox_in__6__4;
  unsigned long des_single__13_sbox_in__6__5;
  unsigned long des_single__13_sbox_in__6__6;
  unsigned long des_single__13_sbox_in__7__1;
  unsigned long des_single__13_sbox_in__7__2;
  unsigned long des_single__13_sbox_in__7__3;
  unsigned long des_single__13_sbox_in__7__4;
  unsigned long des_single__13_sbox_in__7__5;
  unsigned long des_single__13_sbox_in__7__6;
  unsigned long des_single__13_sbox_out__0__1;
  unsigned long des_single__13_sbox_out__0__2;
  unsigned long des_single__13_sbox_out__0__3;
  unsigned long des_single__13_sbox_out__0__4;
  unsigned long des_single__13_sbox_out__1__1;
  unsigned long des_single__13_sbox_out__1__2;
  unsigned long des_single__13_sbox_out__1__3;
  unsigned long des_single__13_sbox_out__1__4;
  unsigned long des_single__13_sbox_out__2__1;
  unsigned long des_single__13_sbox_out__2__2;
  unsigned long des_single__13_sbox_out__2__3;
  unsigned long des_single__13_sbox_out__2__4;
  unsigned long des_single__13_sbox_out__3__1;
  unsigned long des_single__13_sbox_out__3__2;
  unsigned long des_single__13_sbox_out__3__3;
  unsigned long des_single__13_sbox_out__3__4;
  unsigned long des_single__13_sbox_out__4__1;
  unsigned long des_single__13_sbox_out__4__2;
  unsigned long des_single__13_sbox_out__4__3;
  unsigned long des_single__13_sbox_out__4__4;
  unsigned long des_single__13_sbox_out__5__1;
  unsigned long des_single__13_sbox_out__5__2;
  unsigned long des_single__13_sbox_out__5__3;
  unsigned long des_single__13_sbox_out__5__4;
  unsigned long des_single__13_sbox_out__6__1;
  unsigned long des_single__13_sbox_out__6__2;
  unsigned long des_single__13_sbox_out__6__3;
  unsigned long des_single__13_sbox_out__6__4;
  unsigned long des_single__13_sbox_out__7__1;
  unsigned long des_single__13_sbox_out__7__2;
  unsigned long des_single__13_sbox_out__7__3;
  unsigned long des_single__13_sbox_out__7__4;
  unsigned long des_single__14_sbox_in__0__1;
  unsigned long des_single__14_sbox_in__0__2;
  unsigned long des_single__14_sbox_in__0__3;
  unsigned long des_single__14_sbox_in__0__4;
  unsigned long des_single__14_sbox_in__0__5;
  unsigned long des_single__14_sbox_in__0__6;
  unsigned long des_single__14_sbox_in__1__1;
  unsigned long des_single__14_sbox_in__1__2;
  unsigned long des_single__14_sbox_in__1__3;
  unsigned long des_single__14_sbox_in__1__4;
  unsigned long des_single__14_sbox_in__1__5;
  unsigned long des_single__14_sbox_in__1__6;
  unsigned long des_single__14_sbox_in__2__1;
  unsigned long des_single__14_sbox_in__2__2;
  unsigned long des_single__14_sbox_in__2__3;
  unsigned long des_single__14_sbox_in__2__4;
  unsigned long des_single__14_sbox_in__2__5;
  unsigned long des_single__14_sbox_in__2__6;
  unsigned long des_single__14_sbox_in__3__1;
  unsigned long des_single__14_sbox_in__3__2;
  unsigned long des_single__14_sbox_in__3__3;
  unsigned long des_single__14_sbox_in__3__4;
  unsigned long des_single__14_sbox_in__3__5;
  unsigned long des_single__14_sbox_in__3__6;
  unsigned long des_single__14_sbox_in__4__1;
  unsigned long des_single__14_sbox_in__4__2;
  unsigned long des_single__14_sbox_in__4__3;
  unsigned long des_single__14_sbox_in__4__4;
  unsigned long des_single__14_sbox_in__4__5;
  unsigned long des_single__14_sbox_in__4__6;
  unsigned long des_single__14_sbox_in__5__1;
  unsigned long des_single__14_sbox_in__5__2;
  unsigned long des_single__14_sbox_in__5__3;
  unsigned long des_single__14_sbox_in__5__4;
  unsigned long des_single__14_sbox_in__5__5;
  unsigned long des_single__14_sbox_in__5__6;
  unsigned long des_single__14_sbox_in__6__1;
  unsigned long des_single__14_sbox_in__6__2;
  unsigned long des_single__14_sbox_in__6__3;
  unsigned long des_single__14_sbox_in__6__4;
  unsigned long des_single__14_sbox_in__6__5;
  unsigned long des_single__14_sbox_in__6__6;
  unsigned long des_single__14_sbox_in__7__1;
  unsigned long des_single__14_sbox_in__7__2;
  unsigned long des_single__14_sbox_in__7__3;
  unsigned long des_single__14_sbox_in__7__4;
  unsigned long des_single__14_sbox_in__7__5;
  unsigned long des_single__14_sbox_in__7__6;
  unsigned long des_single__14_sbox_out__0__1;
  unsigned long des_single__14_sbox_out__0__2;
  unsigned long des_single__14_sbox_out__0__3;
  unsigned long des_single__14_sbox_out__0__4;
  unsigned long des_single__14_sbox_out__1__1;
  unsigned long des_single__14_sbox_out__1__2;
  unsigned long des_single__14_sbox_out__1__3;
  unsigned long des_single__14_sbox_out__1__4;
  unsigned long des_single__14_sbox_out__2__1;
  unsigned long des_single__14_sbox_out__2__2;
  unsigned long des_single__14_sbox_out__2__3;
  unsigned long des_single__14_sbox_out__2__4;
  unsigned long des_single__14_sbox_out__3__1;
  unsigned long des_single__14_sbox_out__3__2;
  unsigned long des_single__14_sbox_out__3__3;
  unsigned long des_single__14_sbox_out__3__4;
  unsigned long des_single__14_sbox_out__4__1;
  unsigned long des_single__14_sbox_out__4__2;
  unsigned long des_single__14_sbox_out__4__3;
  unsigned long des_single__14_sbox_out__4__4;
  unsigned long des_single__14_sbox_out__5__1;
  unsigned long des_single__14_sbox_out__5__2;
  unsigned long des_single__14_sbox_out__5__3;
  unsigned long des_single__14_sbox_out__5__4;
  unsigned long des_single__14_sbox_out__6__1;
  unsigned long des_single__14_sbox_out__6__2;
  unsigned long des_single__14_sbox_out__6__3;
  unsigned long des_single__14_sbox_out__6__4;
  unsigned long des_single__14_sbox_out__7__1;
  unsigned long des_single__14_sbox_out__7__2;
  unsigned long des_single__14_sbox_out__7__3;
  unsigned long des_single__14_sbox_out__7__4;
  unsigned long des_single__15_sbox_in__0__1;
  unsigned long des_single__15_sbox_in__0__2;
  unsigned long des_single__15_sbox_in__0__3;
  unsigned long des_single__15_sbox_in__0__4;
  unsigned long des_single__15_sbox_in__0__5;
  unsigned long des_single__15_sbox_in__0__6;
  unsigned long des_single__15_sbox_in__1__1;
  unsigned long des_single__15_sbox_in__1__2;
  unsigned long des_single__15_sbox_in__1__3;
  unsigned long des_single__15_sbox_in__1__4;
  unsigned long des_single__15_sbox_in__1__5;
  unsigned long des_single__15_sbox_in__1__6;
  unsigned long des_single__15_sbox_in__2__1;
  unsigned long des_single__15_sbox_in__2__2;
  unsigned long des_single__15_sbox_in__2__3;
  unsigned long des_single__15_sbox_in__2__4;
  unsigned long des_single__15_sbox_in__2__5;
  unsigned long des_single__15_sbox_in__2__6;
  unsigned long des_single__15_sbox_in__3__1;
  unsigned long des_single__15_sbox_in__3__2;
  unsigned long des_single__15_sbox_in__3__3;
  unsigned long des_single__15_sbox_in__3__4;
  unsigned long des_single__15_sbox_in__3__5;
  unsigned long des_single__15_sbox_in__3__6;
  unsigned long des_single__15_sbox_in__4__1;
  unsigned long des_single__15_sbox_in__4__2;
  unsigned long des_single__15_sbox_in__4__3;
  unsigned long des_single__15_sbox_in__4__4;
  unsigned long des_single__15_sbox_in__4__5;
  unsigned long des_single__15_sbox_in__4__6;
  unsigned long des_single__15_sbox_in__5__1;
  unsigned long des_single__15_sbox_in__5__2;
  unsigned long des_single__15_sbox_in__5__3;
  unsigned long des_single__15_sbox_in__5__4;
  unsigned long des_single__15_sbox_in__5__5;
  unsigned long des_single__15_sbox_in__5__6;
  unsigned long des_single__15_sbox_in__6__1;
  unsigned long des_single__15_sbox_in__6__2;
  unsigned long des_single__15_sbox_in__6__3;
  unsigned long des_single__15_sbox_in__6__4;
  unsigned long des_single__15_sbox_in__6__5;
  unsigned long des_single__15_sbox_in__6__6;
  unsigned long des_single__15_sbox_in__7__1;
  unsigned long des_single__15_sbox_in__7__2;
  unsigned long des_single__15_sbox_in__7__3;
  unsigned long des_single__15_sbox_in__7__4;
  unsigned long des_single__15_sbox_in__7__5;
  unsigned long des_single__15_sbox_in__7__6;
  unsigned long des_single__15_sbox_out__0__1;
  unsigned long des_single__15_sbox_out__0__2;
  unsigned long des_single__15_sbox_out__0__3;
  unsigned long des_single__15_sbox_out__0__4;
  unsigned long des_single__15_sbox_out__1__1;
  unsigned long des_single__15_sbox_out__1__2;
  unsigned long des_single__15_sbox_out__1__3;
  unsigned long des_single__15_sbox_out__1__4;
  unsigned long des_single__15_sbox_out__2__1;
  unsigned long des_single__15_sbox_out__2__2;
  unsigned long des_single__15_sbox_out__2__3;
  unsigned long des_single__15_sbox_out__2__4;
  unsigned long des_single__15_sbox_out__3__1;
  unsigned long des_single__15_sbox_out__3__2;
  unsigned long des_single__15_sbox_out__3__3;
  unsigned long des_single__15_sbox_out__3__4;
  unsigned long des_single__15_sbox_out__4__1;
  unsigned long des_single__15_sbox_out__4__2;
  unsigned long des_single__15_sbox_out__4__3;
  unsigned long des_single__15_sbox_out__4__4;
  unsigned long des_single__15_sbox_out__5__1;
  unsigned long des_single__15_sbox_out__5__2;
  unsigned long des_single__15_sbox_out__5__3;
  unsigned long des_single__15_sbox_out__5__4;
  unsigned long des_single__15_sbox_out__6__1;
  unsigned long des_single__15_sbox_out__6__2;
  unsigned long des_single__15_sbox_out__6__3;
  unsigned long des_single__15_sbox_out__6__4;
  unsigned long des_single__15_sbox_out__7__1;
  unsigned long des_single__15_sbox_out__7__2;
  unsigned long des_single__15_sbox_out__7__3;
  unsigned long des_single__15_sbox_out__7__4;

  unsigned long plaintext__7 = input[6];
  unsigned long plaintext__57 = input[56];
  unsigned long plaintext__49 = input[48];
  unsigned long plaintext__41 = input[40];
  unsigned long plaintext__33 = input[32];
  unsigned long plaintext__25 = input[24];
  unsigned long key__10 = key[9];
  unsigned long key__51 = key[50];
  unsigned long key__34 = key[33];
  unsigned long key__60 = key[59];
  unsigned long key__49 = key[48];
  unsigned long key__17 = key[16];
  des_single__0_sbox_in__0__1 = (key__10) ^ (plaintext__7);
  des_single__0_sbox_in__0__2 = (key__51) ^ (plaintext__57);
  des_single__0_sbox_in__0__3 = (key__34) ^ (plaintext__49);
  des_single__0_sbox_in__0__4 = (key__60) ^ (plaintext__41);
  des_single__0_sbox_in__0__5 = (key__49) ^ (plaintext__33);
  des_single__0_sbox_in__0__6 = (key__17) ^ (plaintext__25);
  sbox__0(des_single__0_sbox_in__0__1,des_single__0_sbox_in__0__2,des_single__0_sbox_in__0__3,des_single__0_sbox_in__0__4,des_single__0_sbox_in__0__5,des_single__0_sbox_in__0__6,&des_single__0_sbox_out__0__1,&des_single__0_sbox_out__0__2,&des_single__0_sbox_out__0__3,&des_single__0_sbox_out__0__4);
  unsigned long plaintext__60 = input[59];
  unsigned long plaintext__62 = input[61];
  unsigned long plaintext__14 = input[13];
  unsigned long plaintext__16 = input[15];
  plaintext__60 = (des_single__0_sbox_out__0__1) ^ (plaintext__60);
  plaintext__62 = (des_single__0_sbox_out__0__2) ^ (plaintext__62);
  plaintext__14 = (des_single__0_sbox_out__0__3) ^ (plaintext__14);
  plaintext__16 = (des_single__0_sbox_out__0__4) ^ (plaintext__16);

  
  unsigned long plaintext__17 = input[16];
  unsigned long plaintext__9 = input[8];
  unsigned long plaintext__1 = input[0];
  unsigned long plaintext__59 = input[58];
  unsigned long key__33 = key[32];
  unsigned long key__57 = key[56];
  unsigned long key__2 = key[1];
  unsigned long key__9 = key[8];
  unsigned long key__19 = key[18];
  unsigned long key__42 = key[41];
  des_single__0_sbox_in__1__1 = (key__33) ^ (plaintext__33);
  des_single__0_sbox_in__1__2 = (key__57) ^ (plaintext__25);
  des_single__0_sbox_in__1__3 = (key__2) ^ (plaintext__17);
  des_single__0_sbox_in__1__4 = (key__9) ^ (plaintext__9);
  des_single__0_sbox_in__1__5 = (key__19) ^ (plaintext__1);
  des_single__0_sbox_in__1__6 = (key__42) ^ (plaintext__59);
  sbox__1(des_single__0_sbox_in__1__1,des_single__0_sbox_in__1__2,des_single__0_sbox_in__1__3,des_single__0_sbox_in__1__4,des_single__0_sbox_in__1__5,des_single__0_sbox_in__1__6,&des_single__0_sbox_out__1__1,&des_single__0_sbox_out__1__2,&des_single__0_sbox_out__1__3,&des_single__0_sbox_out__1__4);
  unsigned long plaintext__28 = input[27];
  unsigned long plaintext__40 = input[39];
  unsigned long plaintext__50 = input[49];
  unsigned long plaintext__54 = input[53];
  plaintext__28 = (des_single__0_sbox_out__1__1) ^ (plaintext__28);
  plaintext__40 = (des_single__0_sbox_out__1__2) ^ (plaintext__40);
  plaintext__50 = (des_single__0_sbox_out__1__3) ^ (plaintext__50);
  plaintext__54 = (des_single__0_sbox_out__1__4) ^ (plaintext__54);

  
  unsigned long plaintext__51 = input[50];
  unsigned long plaintext__43 = input[42];
  unsigned long plaintext__35 = input[34];
  unsigned long plaintext__27 = input[26];
  unsigned long key__3 = key[2];
  unsigned long key__35 = key[34];
  unsigned long key__26 = key[25];
  unsigned long key__25 = key[24];
  unsigned long key__44 = key[43];
  unsigned long key__58 = key[57];
  des_single__0_sbox_in__2__1 = (key__3) ^ (plaintext__1);
  des_single__0_sbox_in__2__2 = (key__35) ^ (plaintext__59);
  des_single__0_sbox_in__2__3 = (key__26) ^ (plaintext__51);
  des_single__0_sbox_in__2__4 = (key__25) ^ (plaintext__43);
  des_single__0_sbox_in__2__5 = (key__44) ^ (plaintext__35);
  des_single__0_sbox_in__2__6 = (key__58) ^ (plaintext__27);
  sbox__2(des_single__0_sbox_in__2__1,des_single__0_sbox_in__2__2,des_single__0_sbox_in__2__3,des_single__0_sbox_in__2__4,des_single__0_sbox_in__2__5,des_single__0_sbox_in__2__6,&des_single__0_sbox_out__2__1,&des_single__0_sbox_out__2__2,&des_single__0_sbox_out__2__3,&des_single__0_sbox_out__2__4);
  unsigned long plaintext__6 = input[5];
  unsigned long plaintext__4 = input[3];
  unsigned long plaintext__24 = input[23];
  unsigned long plaintext__18 = input[17];
  plaintext__6 = (des_single__0_sbox_out__2__1) ^ (plaintext__6);
  plaintext__4 = (des_single__0_sbox_out__2__2) ^ (plaintext__4);
  plaintext__24 = (des_single__0_sbox_out__2__3) ^ (plaintext__24);
  plaintext__18 = (des_single__0_sbox_out__2__4) ^ (plaintext__18);

  
  unsigned long plaintext__19 = input[18];
  unsigned long plaintext__11 = input[10];
  unsigned long plaintext__3 = input[2];
  unsigned long plaintext__61 = input[60];
  unsigned long key__59 = key[58];
  unsigned long key__1 = key[0];
  unsigned long key__36 = key[35];
  unsigned long key__27 = key[26];
  unsigned long key__18 = key[17];
  unsigned long key__41 = key[40];
  des_single__0_sbox_in__3__1 = (key__59) ^ (plaintext__35);
  des_single__0_sbox_in__3__2 = (key__1) ^ (plaintext__27);
  des_single__0_sbox_in__3__3 = (key__36) ^ (plaintext__19);
  des_single__0_sbox_in__3__4 = (key__27) ^ (plaintext__11);
  des_single__0_sbox_in__3__5 = (key__18) ^ (plaintext__3);
  des_single__0_sbox_in__3__6 = (key__41) ^ (plaintext__61);
  sbox__3(des_single__0_sbox_in__3__1,des_single__0_sbox_in__3__2,des_single__0_sbox_in__3__3,des_single__0_sbox_in__3__4,des_single__0_sbox_in__3__5,des_single__0_sbox_in__3__6,&des_single__0_sbox_out__3__1,&des_single__0_sbox_out__3__2,&des_single__0_sbox_out__3__3,&des_single__0_sbox_out__3__4);
  unsigned long plaintext__56 = input[55];
  unsigned long plaintext__38 = input[37];
  unsigned long plaintext__52 = input[51];
  unsigned long plaintext__58 = input[57];
  plaintext__56 = (des_single__0_sbox_out__3__1) ^ (plaintext__56);
  plaintext__38 = (des_single__0_sbox_out__3__2) ^ (plaintext__38);
  plaintext__52 = (des_single__0_sbox_out__3__3) ^ (plaintext__52);
  plaintext__58 = (des_single__0_sbox_out__3__4) ^ (plaintext__58);

  
  unsigned long plaintext__53 = input[52];
  unsigned long plaintext__45 = input[44];
  unsigned long plaintext__37 = input[36];
  unsigned long plaintext__29 = input[28];
  unsigned long key__22 = key[21];
  unsigned long key__28 = key[27];
  unsigned long key__39 = key[38];
  unsigned long key__54 = key[53];
  unsigned long key__37 = key[36];
  unsigned long key__4 = key[3];
  des_single__0_sbox_in__4__1 = (key__22) ^ (plaintext__3);
  des_single__0_sbox_in__4__2 = (key__28) ^ (plaintext__61);
  des_single__0_sbox_in__4__3 = (key__39) ^ (plaintext__53);
  des_single__0_sbox_in__4__4 = (key__54) ^ (plaintext__45);
  des_single__0_sbox_in__4__5 = (key__37) ^ (plaintext__37);
  des_single__0_sbox_in__4__6 = (key__4) ^ (plaintext__29);
  sbox__4(des_single__0_sbox_in__4__1,des_single__0_sbox_in__4__2,des_single__0_sbox_in__4__3,des_single__0_sbox_in__4__4,des_single__0_sbox_in__4__5,des_single__0_sbox_in__4__6,&des_single__0_sbox_out__4__1,&des_single__0_sbox_out__4__2,&des_single__0_sbox_out__4__3,&des_single__0_sbox_out__4__4);
  unsigned long plaintext__2 = input[1];
  unsigned long plaintext__20 = input[19];
  unsigned long plaintext__64 = input[63];
  unsigned long plaintext__42 = input[41];
  plaintext__2 = (des_single__0_sbox_out__4__1) ^ (plaintext__2);
  plaintext__20 = (des_single__0_sbox_out__4__2) ^ (plaintext__20);
  plaintext__64 = (des_single__0_sbox_out__4__3) ^ (plaintext__64);
  plaintext__42 = (des_single__0_sbox_out__4__4) ^ (plaintext__42);

  
  unsigned long plaintext__21 = input[20];
  unsigned long plaintext__13 = input[12];
  unsigned long plaintext__5 = input[4];
  unsigned long plaintext__63 = input[62];
  unsigned long key__47 = key[46];
  unsigned long key__30 = key[29];
  unsigned long key__5 = key[4];
  unsigned long key__53 = key[52];
  unsigned long key__23 = key[22];
  unsigned long key__29 = key[28];
  des_single__0_sbox_in__5__1 = (key__47) ^ (plaintext__37);
  des_single__0_sbox_in__5__2 = (key__30) ^ (plaintext__29);
  des_single__0_sbox_in__5__3 = (key__5) ^ (plaintext__21);
  des_single__0_sbox_in__5__4 = (key__53) ^ (plaintext__13);
  des_single__0_sbox_in__5__5 = (key__23) ^ (plaintext__5);
  des_single__0_sbox_in__5__6 = (key__29) ^ (plaintext__63);
  sbox__5(des_single__0_sbox_in__5__1,des_single__0_sbox_in__5__2,des_single__0_sbox_in__5__3,des_single__0_sbox_in__5__4,des_single__0_sbox_in__5__5,des_single__0_sbox_in__5__6,&des_single__0_sbox_out__5__1,&des_single__0_sbox_out__5__2,&des_single__0_sbox_out__5__3,&des_single__0_sbox_out__5__4);
  unsigned long plaintext__34 = input[33];
  unsigned long plaintext__32 = input[31];
  unsigned long plaintext__44 = input[43];
  unsigned long plaintext__46 = input[45];
  plaintext__34 = (des_single__0_sbox_out__5__1) ^ (plaintext__34);
  plaintext__32 = (des_single__0_sbox_out__5__2) ^ (plaintext__32);
  plaintext__44 = (des_single__0_sbox_out__5__3) ^ (plaintext__44);
  plaintext__46 = (des_single__0_sbox_out__5__4) ^ (plaintext__46);

  
  unsigned long plaintext__55 = input[54];
  unsigned long plaintext__47 = input[46];
  unsigned long plaintext__39 = input[38];
  unsigned long plaintext__31 = input[30];
  unsigned long key__61 = key[60];
  unsigned long key__21 = key[20];
  unsigned long key__38 = key[37];
  unsigned long key__63 = key[62];
  unsigned long key__15 = key[14];
  unsigned long key__20 = key[19];
  des_single__0_sbox_in__6__1 = (key__61) ^ (plaintext__5);
  des_single__0_sbox_in__6__2 = (key__21) ^ (plaintext__63);
  des_single__0_sbox_in__6__3 = (key__38) ^ (plaintext__55);
  des_single__0_sbox_in__6__4 = (key__63) ^ (plaintext__47);
  des_single__0_sbox_in__6__5 = (key__15) ^ (plaintext__39);
  des_single__0_sbox_in__6__6 = (key__20) ^ (plaintext__31);
  sbox__6(des_single__0_sbox_in__6__1,des_single__0_sbox_in__6__2,des_single__0_sbox_in__6__3,des_single__0_sbox_in__6__4,des_single__0_sbox_in__6__5,des_single__0_sbox_in__6__6,&des_single__0_sbox_out__6__1,&des_single__0_sbox_out__6__2,&des_single__0_sbox_out__6__3,&des_single__0_sbox_out__6__4);
  unsigned long plaintext__8 = input[7];
  unsigned long plaintext__36 = input[35];
  unsigned long plaintext__22 = input[21];
  unsigned long plaintext__10 = input[9];
  plaintext__8 = (des_single__0_sbox_out__6__1) ^ (plaintext__8);
  plaintext__36 = (des_single__0_sbox_out__6__2) ^ (plaintext__36);
  plaintext__22 = (des_single__0_sbox_out__6__3) ^ (plaintext__22);
  plaintext__10 = (des_single__0_sbox_out__6__4) ^ (plaintext__10);

  
  unsigned long plaintext__23 = input[22];
  unsigned long plaintext__15 = input[14];
  unsigned long key__45 = key[44];
  unsigned long key__14 = key[13];
  unsigned long key__13 = key[12];
  unsigned long key__62 = key[61];
  unsigned long key__55 = key[54];
  unsigned long key__31 = key[30];
  des_single__0_sbox_in__7__1 = (key__45) ^ (plaintext__39);
  des_single__0_sbox_in__7__2 = (key__14) ^ (plaintext__31);
  des_single__0_sbox_in__7__3 = (key__13) ^ (plaintext__23);
  des_single__0_sbox_in__7__4 = (key__62) ^ (plaintext__15);
  des_single__0_sbox_in__7__5 = (key__55) ^ (plaintext__7);
  des_single__0_sbox_in__7__6 = (key__31) ^ (plaintext__57);
  sbox__7(des_single__0_sbox_in__7__1,des_single__0_sbox_in__7__2,des_single__0_sbox_in__7__3,des_single__0_sbox_in__7__4,des_single__0_sbox_in__7__5,des_single__0_sbox_in__7__6,&des_single__0_sbox_out__7__1,&des_single__0_sbox_out__7__2,&des_single__0_sbox_out__7__3,&des_single__0_sbox_out__7__4);
  unsigned long plaintext__26 = input[25];
  unsigned long plaintext__48 = input[47];
  unsigned long plaintext__12 = input[11];
  unsigned long plaintext__30 = input[29];
  plaintext__26 = (des_single__0_sbox_out__7__1) ^ (plaintext__26);
  plaintext__48 = (des_single__0_sbox_out__7__2) ^ (plaintext__48);
  plaintext__12 = (des_single__0_sbox_out__7__3) ^ (plaintext__12);
  plaintext__30 = (des_single__0_sbox_out__7__4) ^ (plaintext__30);

  
  unsigned long key__43 = key[42];
  unsigned long key__52 = key[51];
  des_single__1_sbox_in__0__1 = (key__2) ^ (plaintext__8);
  des_single__1_sbox_in__0__2 = (key__43) ^ (plaintext__58);
  des_single__1_sbox_in__0__3 = (key__26) ^ (plaintext__50);
  des_single__1_sbox_in__0__4 = (key__52) ^ (plaintext__42);
  des_single__1_sbox_in__0__5 = (key__41) ^ (plaintext__34);
  des_single__1_sbox_in__0__6 = (key__9) ^ (plaintext__26);
  sbox__0(des_single__1_sbox_in__0__1,des_single__1_sbox_in__0__2,des_single__1_sbox_in__0__3,des_single__1_sbox_in__0__4,des_single__1_sbox_in__0__5,des_single__1_sbox_in__0__6,&des_single__1_sbox_out__0__1,&des_single__1_sbox_out__0__2,&des_single__1_sbox_out__0__3,&des_single__1_sbox_out__0__4);
  plaintext__59 = (des_single__1_sbox_out__0__1) ^ (plaintext__59);
  plaintext__61 = (des_single__1_sbox_out__0__2) ^ (plaintext__61);
  plaintext__13 = (des_single__1_sbox_out__0__3) ^ (plaintext__13);
  plaintext__15 = (des_single__1_sbox_out__0__4) ^ (plaintext__15);
  unsigned long key__11 = key[10];
  des_single__1_sbox_in__1__1 = (key__25) ^ (plaintext__34);
  des_single__1_sbox_in__1__2 = (key__49) ^ (plaintext__26);
  des_single__1_sbox_in__1__3 = (key__59) ^ (plaintext__18);
  des_single__1_sbox_in__1__4 = (key__1) ^ (plaintext__10);
  des_single__1_sbox_in__1__5 = (key__11) ^ (plaintext__2);
  des_single__1_sbox_in__1__6 = (key__34) ^ (plaintext__60);
  sbox__1(des_single__1_sbox_in__1__1,des_single__1_sbox_in__1__2,des_single__1_sbox_in__1__3,des_single__1_sbox_in__1__4,des_single__1_sbox_in__1__5,des_single__1_sbox_in__1__6,&des_single__1_sbox_out__1__1,&des_single__1_sbox_out__1__2,&des_single__1_sbox_out__1__3,&des_single__1_sbox_out__1__4);
  plaintext__27 = (des_single__1_sbox_out__1__1) ^ (plaintext__27);
  plaintext__39 = (des_single__1_sbox_out__1__2) ^ (plaintext__39);
  plaintext__49 = (des_single__1_sbox_out__1__3) ^ (plaintext__49);
  plaintext__53 = (des_single__1_sbox_out__1__4) ^ (plaintext__53);
  unsigned long key__50 = key[49];
  des_single__1_sbox_in__2__1 = (key__60) ^ (plaintext__2);
  des_single__1_sbox_in__2__2 = (key__27) ^ (plaintext__60);
  des_single__1_sbox_in__2__3 = (key__18) ^ (plaintext__52);
  des_single__1_sbox_in__2__4 = (key__17) ^ (plaintext__44);
  des_single__1_sbox_in__2__5 = (key__36) ^ (plaintext__36);
  des_single__1_sbox_in__2__6 = (key__50) ^ (plaintext__28);
  sbox__2(des_single__1_sbox_in__2__1,des_single__1_sbox_in__2__2,des_single__1_sbox_in__2__3,des_single__1_sbox_in__2__4,des_single__1_sbox_in__2__5,des_single__1_sbox_in__2__6,&des_single__1_sbox_out__2__1,&des_single__1_sbox_out__2__2,&des_single__1_sbox_out__2__3,&des_single__1_sbox_out__2__4);
  plaintext__5 = (des_single__1_sbox_out__2__1) ^ (plaintext__5);
  plaintext__3 = (des_single__1_sbox_out__2__2) ^ (plaintext__3);
  plaintext__23 = (des_single__1_sbox_out__2__3) ^ (plaintext__23);
  plaintext__17 = (des_single__1_sbox_out__2__4) ^ (plaintext__17);
  des_single__1_sbox_in__3__1 = (key__51) ^ (plaintext__36);
  des_single__1_sbox_in__3__2 = (key__58) ^ (plaintext__28);
  des_single__1_sbox_in__3__3 = (key__57) ^ (plaintext__20);
  des_single__1_sbox_in__3__4 = (key__19) ^ (plaintext__12);
  des_single__1_sbox_in__3__5 = (key__10) ^ (plaintext__4);
  des_single__1_sbox_in__3__6 = (key__33) ^ (plaintext__62);
  sbox__3(des_single__1_sbox_in__3__1,des_single__1_sbox_in__3__2,des_single__1_sbox_in__3__3,des_single__1_sbox_in__3__4,des_single__1_sbox_in__3__5,des_single__1_sbox_in__3__6,&des_single__1_sbox_out__3__1,&des_single__1_sbox_out__3__2,&des_single__1_sbox_out__3__3,&des_single__1_sbox_out__3__4);
  plaintext__55 = (des_single__1_sbox_out__3__1) ^ (plaintext__55);
  plaintext__37 = (des_single__1_sbox_out__3__2) ^ (plaintext__37);
  plaintext__51 = (des_single__1_sbox_out__3__3) ^ (plaintext__51);
  plaintext__57 = (des_single__1_sbox_out__3__4) ^ (plaintext__57);
  unsigned long key__46 = key[45];
  des_single__1_sbox_in__4__1 = (key__14) ^ (plaintext__4);
  des_single__1_sbox_in__4__2 = (key__20) ^ (plaintext__62);
  des_single__1_sbox_in__4__3 = (key__31) ^ (plaintext__54);
  des_single__1_sbox_in__4__4 = (key__46) ^ (plaintext__46);
  des_single__1_sbox_in__4__5 = (key__29) ^ (plaintext__38);
  des_single__1_sbox_in__4__6 = (key__63) ^ (plaintext__30);
  sbox__4(des_single__1_sbox_in__4__1,des_single__1_sbox_in__4__2,des_single__1_sbox_in__4__3,des_single__1_sbox_in__4__4,des_single__1_sbox_in__4__5,des_single__1_sbox_in__4__6,&des_single__1_sbox_out__4__1,&des_single__1_sbox_out__4__2,&des_single__1_sbox_out__4__3,&des_single__1_sbox_out__4__4);
  plaintext__1 = (des_single__1_sbox_out__4__1) ^ (plaintext__1);
  plaintext__19 = (des_single__1_sbox_out__4__2) ^ (plaintext__19);
  plaintext__63 = (des_single__1_sbox_out__4__3) ^ (plaintext__63);
  plaintext__41 = (des_single__1_sbox_out__4__4) ^ (plaintext__41);
  des_single__1_sbox_in__5__1 = (key__39) ^ (plaintext__38);
  des_single__1_sbox_in__5__2 = (key__22) ^ (plaintext__30);
  des_single__1_sbox_in__5__3 = (key__28) ^ (plaintext__22);
  des_single__1_sbox_in__5__4 = (key__45) ^ (plaintext__14);
  des_single__1_sbox_in__5__5 = (key__15) ^ (plaintext__6);
  des_single__1_sbox_in__5__6 = (key__21) ^ (plaintext__64);
  sbox__5(des_single__1_sbox_in__5__1,des_single__1_sbox_in__5__2,des_single__1_sbox_in__5__3,des_single__1_sbox_in__5__4,des_single__1_sbox_in__5__5,des_single__1_sbox_in__5__6,&des_single__1_sbox_out__5__1,&des_single__1_sbox_out__5__2,&des_single__1_sbox_out__5__3,&des_single__1_sbox_out__5__4);
  plaintext__33 = (des_single__1_sbox_out__5__1) ^ (plaintext__33);
  plaintext__31 = (des_single__1_sbox_out__5__2) ^ (plaintext__31);
  plaintext__43 = (des_single__1_sbox_out__5__3) ^ (plaintext__43);
  plaintext__45 = (des_single__1_sbox_out__5__4) ^ (plaintext__45);
  unsigned long key__7 = key[6];
  unsigned long key__12 = key[11];
  des_single__1_sbox_in__6__1 = (key__53) ^ (plaintext__6);
  des_single__1_sbox_in__6__2 = (key__13) ^ (plaintext__64);
  des_single__1_sbox_in__6__3 = (key__30) ^ (plaintext__56);
  des_single__1_sbox_in__6__4 = (key__55) ^ (plaintext__48);
  des_single__1_sbox_in__6__5 = (key__7) ^ (plaintext__40);
  des_single__1_sbox_in__6__6 = (key__12) ^ (plaintext__32);
  sbox__6(des_single__1_sbox_in__6__1,des_single__1_sbox_in__6__2,des_single__1_sbox_in__6__3,des_single__1_sbox_in__6__4,des_single__1_sbox_in__6__5,des_single__1_sbox_in__6__6,&des_single__1_sbox_out__6__1,&des_single__1_sbox_out__6__2,&des_single__1_sbox_out__6__3,&des_single__1_sbox_out__6__4);
  plaintext__7 = (des_single__1_sbox_out__6__1) ^ (plaintext__7);
  plaintext__35 = (des_single__1_sbox_out__6__2) ^ (plaintext__35);
  plaintext__21 = (des_single__1_sbox_out__6__3) ^ (plaintext__21);
  plaintext__9 = (des_single__1_sbox_out__6__4) ^ (plaintext__9);
  unsigned long key__6 = key[5];
  des_single__1_sbox_in__7__1 = (key__37) ^ (plaintext__40);
  des_single__1_sbox_in__7__2 = (key__6) ^ (plaintext__32);
  des_single__1_sbox_in__7__3 = (key__5) ^ (plaintext__24);
  des_single__1_sbox_in__7__4 = (key__54) ^ (plaintext__16);
  des_single__1_sbox_in__7__5 = (key__47) ^ (plaintext__8);
  des_single__1_sbox_in__7__6 = (key__23) ^ (plaintext__58);
  sbox__7(des_single__1_sbox_in__7__1,des_single__1_sbox_in__7__2,des_single__1_sbox_in__7__3,des_single__1_sbox_in__7__4,des_single__1_sbox_in__7__5,des_single__1_sbox_in__7__6,&des_single__1_sbox_out__7__1,&des_single__1_sbox_out__7__2,&des_single__1_sbox_out__7__3,&des_single__1_sbox_out__7__4);
  plaintext__25 = (des_single__1_sbox_out__7__1) ^ (plaintext__25);
  plaintext__47 = (des_single__1_sbox_out__7__2) ^ (plaintext__47);
  plaintext__11 = (des_single__1_sbox_out__7__3) ^ (plaintext__11);
  plaintext__29 = (des_single__1_sbox_out__7__4) ^ (plaintext__29);
  des_single__2_sbox_in__0__1 = (key__51) ^ (plaintext__7);
  des_single__2_sbox_in__0__2 = (key__27) ^ (plaintext__57);
  des_single__2_sbox_in__0__3 = (key__10) ^ (plaintext__49);
  des_single__2_sbox_in__0__4 = (key__36) ^ (plaintext__41);
  des_single__2_sbox_in__0__5 = (key__25) ^ (plaintext__33);
  des_single__2_sbox_in__0__6 = (key__58) ^ (plaintext__25);
  sbox__0(des_single__2_sbox_in__0__1,des_single__2_sbox_in__0__2,des_single__2_sbox_in__0__3,des_single__2_sbox_in__0__4,des_single__2_sbox_in__0__5,des_single__2_sbox_in__0__6,&des_single__2_sbox_out__0__1,&des_single__2_sbox_out__0__2,&des_single__2_sbox_out__0__3,&des_single__2_sbox_out__0__4);
  plaintext__60 = (des_single__2_sbox_out__0__1) ^ (plaintext__60);
  plaintext__62 = (des_single__2_sbox_out__0__2) ^ (plaintext__62);
  plaintext__14 = (des_single__2_sbox_out__0__3) ^ (plaintext__14);
  plaintext__16 = (des_single__2_sbox_out__0__4) ^ (plaintext__16);
  des_single__2_sbox_in__1__1 = (key__9) ^ (plaintext__33);
  des_single__2_sbox_in__1__2 = (key__33) ^ (plaintext__25);
  des_single__2_sbox_in__1__3 = (key__43) ^ (plaintext__17);
  des_single__2_sbox_in__1__4 = (key__50) ^ (plaintext__9);
  des_single__2_sbox_in__1__5 = (key__60) ^ (plaintext__1);
  des_single__2_sbox_in__1__6 = (key__18) ^ (plaintext__59);
  sbox__1(des_single__2_sbox_in__1__1,des_single__2_sbox_in__1__2,des_single__2_sbox_in__1__3,des_single__2_sbox_in__1__4,des_single__2_sbox_in__1__5,des_single__2_sbox_in__1__6,&des_single__2_sbox_out__1__1,&des_single__2_sbox_out__1__2,&des_single__2_sbox_out__1__3,&des_single__2_sbox_out__1__4);
  plaintext__28 = (des_single__2_sbox_out__1__1) ^ (plaintext__28);
  plaintext__40 = (des_single__2_sbox_out__1__2) ^ (plaintext__40);
  plaintext__50 = (des_single__2_sbox_out__1__3) ^ (plaintext__50);
  plaintext__54 = (des_single__2_sbox_out__1__4) ^ (plaintext__54);
  des_single__2_sbox_in__2__1 = (key__44) ^ (plaintext__1);
  des_single__2_sbox_in__2__2 = (key__11) ^ (plaintext__59);
  des_single__2_sbox_in__2__3 = (key__2) ^ (plaintext__51);
  des_single__2_sbox_in__2__4 = (key__1) ^ (plaintext__43);
  des_single__2_sbox_in__2__5 = (key__49) ^ (plaintext__35);
  des_single__2_sbox_in__2__6 = (key__34) ^ (plaintext__27);
  sbox__2(des_single__2_sbox_in__2__1,des_single__2_sbox_in__2__2,des_single__2_sbox_in__2__3,des_single__2_sbox_in__2__4,des_single__2_sbox_in__2__5,des_single__2_sbox_in__2__6,&des_single__2_sbox_out__2__1,&des_single__2_sbox_out__2__2,&des_single__2_sbox_out__2__3,&des_single__2_sbox_out__2__4);
  plaintext__6 = (des_single__2_sbox_out__2__1) ^ (plaintext__6);
  plaintext__4 = (des_single__2_sbox_out__2__2) ^ (plaintext__4);
  plaintext__24 = (des_single__2_sbox_out__2__3) ^ (plaintext__24);
  plaintext__18 = (des_single__2_sbox_out__2__4) ^ (plaintext__18);
  des_single__2_sbox_in__3__1 = (key__35) ^ (plaintext__35);
  des_single__2_sbox_in__3__2 = (key__42) ^ (plaintext__27);
  des_single__2_sbox_in__3__3 = (key__41) ^ (plaintext__19);
  des_single__2_sbox_in__3__4 = (key__3) ^ (plaintext__11);
  des_single__2_sbox_in__3__5 = (key__59) ^ (plaintext__3);
  des_single__2_sbox_in__3__6 = (key__17) ^ (plaintext__61);
  sbox__3(des_single__2_sbox_in__3__1,des_single__2_sbox_in__3__2,des_single__2_sbox_in__3__3,des_single__2_sbox_in__3__4,des_single__2_sbox_in__3__5,des_single__2_sbox_in__3__6,&des_single__2_sbox_out__3__1,&des_single__2_sbox_out__3__2,&des_single__2_sbox_out__3__3,&des_single__2_sbox_out__3__4);
  plaintext__56 = (des_single__2_sbox_out__3__1) ^ (plaintext__56);
  plaintext__38 = (des_single__2_sbox_out__3__2) ^ (plaintext__38);
  plaintext__52 = (des_single__2_sbox_out__3__3) ^ (plaintext__52);
  plaintext__58 = (des_single__2_sbox_out__3__4) ^ (plaintext__58);
  des_single__2_sbox_in__4__1 = (key__61) ^ (plaintext__3);
  des_single__2_sbox_in__4__2 = (key__4) ^ (plaintext__61);
  des_single__2_sbox_in__4__3 = (key__15) ^ (plaintext__53);
  des_single__2_sbox_in__4__4 = (key__30) ^ (plaintext__45);
  des_single__2_sbox_in__4__5 = (key__13) ^ (plaintext__37);
  des_single__2_sbox_in__4__6 = (key__47) ^ (plaintext__29);
  sbox__4(des_single__2_sbox_in__4__1,des_single__2_sbox_in__4__2,des_single__2_sbox_in__4__3,des_single__2_sbox_in__4__4,des_single__2_sbox_in__4__5,des_single__2_sbox_in__4__6,&des_single__2_sbox_out__4__1,&des_single__2_sbox_out__4__2,&des_single__2_sbox_out__4__3,&des_single__2_sbox_out__4__4);
  plaintext__2 = (des_single__2_sbox_out__4__1) ^ (plaintext__2);
  plaintext__20 = (des_single__2_sbox_out__4__2) ^ (plaintext__20);
  plaintext__64 = (des_single__2_sbox_out__4__3) ^ (plaintext__64);
  plaintext__42 = (des_single__2_sbox_out__4__4) ^ (plaintext__42);
  des_single__2_sbox_in__5__1 = (key__23) ^ (plaintext__37);
  des_single__2_sbox_in__5__2 = (key__6) ^ (plaintext__29);
  des_single__2_sbox_in__5__3 = (key__12) ^ (plaintext__21);
  des_single__2_sbox_in__5__4 = (key__29) ^ (plaintext__13);
  des_single__2_sbox_in__5__5 = (key__62) ^ (plaintext__5);
  des_single__2_sbox_in__5__6 = (key__5) ^ (plaintext__63);
  sbox__5(des_single__2_sbox_in__5__1,des_single__2_sbox_in__5__2,des_single__2_sbox_in__5__3,des_single__2_sbox_in__5__4,des_single__2_sbox_in__5__5,des_single__2_sbox_in__5__6,&des_single__2_sbox_out__5__1,&des_single__2_sbox_out__5__2,&des_single__2_sbox_out__5__3,&des_single__2_sbox_out__5__4);
  plaintext__34 = (des_single__2_sbox_out__5__1) ^ (plaintext__34);
  plaintext__32 = (des_single__2_sbox_out__5__2) ^ (plaintext__32);
  plaintext__44 = (des_single__2_sbox_out__5__3) ^ (plaintext__44);
  plaintext__46 = (des_single__2_sbox_out__5__4) ^ (plaintext__46);
  des_single__2_sbox_in__6__1 = (key__37) ^ (plaintext__5);
  des_single__2_sbox_in__6__2 = (key__28) ^ (plaintext__63);
  des_single__2_sbox_in__6__3 = (key__14) ^ (plaintext__55);
  des_single__2_sbox_in__6__4 = (key__39) ^ (plaintext__47);
  des_single__2_sbox_in__6__5 = (key__54) ^ (plaintext__39);
  des_single__2_sbox_in__6__6 = (key__63) ^ (plaintext__31);
  sbox__6(des_single__2_sbox_in__6__1,des_single__2_sbox_in__6__2,des_single__2_sbox_in__6__3,des_single__2_sbox_in__6__4,des_single__2_sbox_in__6__5,des_single__2_sbox_in__6__6,&des_single__2_sbox_out__6__1,&des_single__2_sbox_out__6__2,&des_single__2_sbox_out__6__3,&des_single__2_sbox_out__6__4);
  plaintext__8 = (des_single__2_sbox_out__6__1) ^ (plaintext__8);
  plaintext__36 = (des_single__2_sbox_out__6__2) ^ (plaintext__36);
  plaintext__22 = (des_single__2_sbox_out__6__3) ^ (plaintext__22);
  plaintext__10 = (des_single__2_sbox_out__6__4) ^ (plaintext__10);
  des_single__2_sbox_in__7__1 = (key__21) ^ (plaintext__39);
  des_single__2_sbox_in__7__2 = (key__53) ^ (plaintext__31);
  des_single__2_sbox_in__7__3 = (key__20) ^ (plaintext__23);
  des_single__2_sbox_in__7__4 = (key__38) ^ (plaintext__15);
  des_single__2_sbox_in__7__5 = (key__31) ^ (plaintext__7);
  des_single__2_sbox_in__7__6 = (key__7) ^ (plaintext__57);
  sbox__7(des_single__2_sbox_in__7__1,des_single__2_sbox_in__7__2,des_single__2_sbox_in__7__3,des_single__2_sbox_in__7__4,des_single__2_sbox_in__7__5,des_single__2_sbox_in__7__6,&des_single__2_sbox_out__7__1,&des_single__2_sbox_out__7__2,&des_single__2_sbox_out__7__3,&des_single__2_sbox_out__7__4);
  plaintext__26 = (des_single__2_sbox_out__7__1) ^ (plaintext__26);
  plaintext__48 = (des_single__2_sbox_out__7__2) ^ (plaintext__48);
  plaintext__12 = (des_single__2_sbox_out__7__3) ^ (plaintext__12);
  plaintext__30 = (des_single__2_sbox_out__7__4) ^ (plaintext__30);
  des_single__3_sbox_in__0__1 = (key__35) ^ (plaintext__8);
  des_single__3_sbox_in__0__2 = (key__11) ^ (plaintext__58);
  des_single__3_sbox_in__0__3 = (key__59) ^ (plaintext__50);
  des_single__3_sbox_in__0__4 = (key__49) ^ (plaintext__42);
  des_single__3_sbox_in__0__5 = (key__9) ^ (plaintext__34);
  des_single__3_sbox_in__0__6 = (key__42) ^ (plaintext__26);
  sbox__0(des_single__3_sbox_in__0__1,des_single__3_sbox_in__0__2,des_single__3_sbox_in__0__3,des_single__3_sbox_in__0__4,des_single__3_sbox_in__0__5,des_single__3_sbox_in__0__6,&des_single__3_sbox_out__0__1,&des_single__3_sbox_out__0__2,&des_single__3_sbox_out__0__3,&des_single__3_sbox_out__0__4);
  plaintext__59 = (des_single__3_sbox_out__0__1) ^ (plaintext__59);
  plaintext__61 = (des_single__3_sbox_out__0__2) ^ (plaintext__61);
  plaintext__13 = (des_single__3_sbox_out__0__3) ^ (plaintext__13);
  plaintext__15 = (des_single__3_sbox_out__0__4) ^ (plaintext__15);
  des_single__3_sbox_in__1__1 = (key__58) ^ (plaintext__34);
  des_single__3_sbox_in__1__2 = (key__17) ^ (plaintext__26);
  des_single__3_sbox_in__1__3 = (key__27) ^ (plaintext__18);
  des_single__3_sbox_in__1__4 = (key__34) ^ (plaintext__10);
  des_single__3_sbox_in__1__5 = (key__44) ^ (plaintext__2);
  des_single__3_sbox_in__1__6 = (key__2) ^ (plaintext__60);
  sbox__1(des_single__3_sbox_in__1__1,des_single__3_sbox_in__1__2,des_single__3_sbox_in__1__3,des_single__3_sbox_in__1__4,des_single__3_sbox_in__1__5,des_single__3_sbox_in__1__6,&des_single__3_sbox_out__1__1,&des_single__3_sbox_out__1__2,&des_single__3_sbox_out__1__3,&des_single__3_sbox_out__1__4);
  plaintext__27 = (des_single__3_sbox_out__1__1) ^ (plaintext__27);
  plaintext__39 = (des_single__3_sbox_out__1__2) ^ (plaintext__39);
  plaintext__49 = (des_single__3_sbox_out__1__3) ^ (plaintext__49);
  plaintext__53 = (des_single__3_sbox_out__1__4) ^ (plaintext__53);
  des_single__3_sbox_in__2__1 = (key__57) ^ (plaintext__2);
  des_single__3_sbox_in__2__2 = (key__60) ^ (plaintext__60);
  des_single__3_sbox_in__2__3 = (key__51) ^ (plaintext__52);
  des_single__3_sbox_in__2__4 = (key__50) ^ (plaintext__44);
  des_single__3_sbox_in__2__5 = (key__33) ^ (plaintext__36);
  des_single__3_sbox_in__2__6 = (key__18) ^ (plaintext__28);
  sbox__2(des_single__3_sbox_in__2__1,des_single__3_sbox_in__2__2,des_single__3_sbox_in__2__3,des_single__3_sbox_in__2__4,des_single__3_sbox_in__2__5,des_single__3_sbox_in__2__6,&des_single__3_sbox_out__2__1,&des_single__3_sbox_out__2__2,&des_single__3_sbox_out__2__3,&des_single__3_sbox_out__2__4);
  plaintext__5 = (des_single__3_sbox_out__2__1) ^ (plaintext__5);
  plaintext__3 = (des_single__3_sbox_out__2__2) ^ (plaintext__3);
  plaintext__23 = (des_single__3_sbox_out__2__3) ^ (plaintext__23);
  plaintext__17 = (des_single__3_sbox_out__2__4) ^ (plaintext__17);
  des_single__3_sbox_in__3__1 = (key__19) ^ (plaintext__36);
  des_single__3_sbox_in__3__2 = (key__26) ^ (plaintext__28);
  des_single__3_sbox_in__3__3 = (key__25) ^ (plaintext__20);
  des_single__3_sbox_in__3__4 = (key__52) ^ (plaintext__12);
  des_single__3_sbox_in__3__5 = (key__43) ^ (plaintext__4);
  des_single__3_sbox_in__3__6 = (key__1) ^ (plaintext__62);
  sbox__3(des_single__3_sbox_in__3__1,des_single__3_sbox_in__3__2,des_single__3_sbox_in__3__3,des_single__3_sbox_in__3__4,des_single__3_sbox_in__3__5,des_single__3_sbox_in__3__6,&des_single__3_sbox_out__3__1,&des_single__3_sbox_out__3__2,&des_single__3_sbox_out__3__3,&des_single__3_sbox_out__3__4);
  plaintext__55 = (des_single__3_sbox_out__3__1) ^ (plaintext__55);
  plaintext__37 = (des_single__3_sbox_out__3__2) ^ (plaintext__37);
  plaintext__51 = (des_single__3_sbox_out__3__3) ^ (plaintext__51);
  plaintext__57 = (des_single__3_sbox_out__3__4) ^ (plaintext__57);
  des_single__3_sbox_in__4__1 = (key__45) ^ (plaintext__4);
  des_single__3_sbox_in__4__2 = (key__55) ^ (plaintext__62);
  des_single__3_sbox_in__4__3 = (key__62) ^ (plaintext__54);
  des_single__3_sbox_in__4__4 = (key__14) ^ (plaintext__46);
  des_single__3_sbox_in__4__5 = (key__28) ^ (plaintext__38);
  des_single__3_sbox_in__4__6 = (key__31) ^ (plaintext__30);
  sbox__4(des_single__3_sbox_in__4__1,des_single__3_sbox_in__4__2,des_single__3_sbox_in__4__3,des_single__3_sbox_in__4__4,des_single__3_sbox_in__4__5,des_single__3_sbox_in__4__6,&des_single__3_sbox_out__4__1,&des_single__3_sbox_out__4__2,&des_single__3_sbox_out__4__3,&des_single__3_sbox_out__4__4);
  plaintext__1 = (des_single__3_sbox_out__4__1) ^ (plaintext__1);
  plaintext__19 = (des_single__3_sbox_out__4__2) ^ (plaintext__19);
  plaintext__63 = (des_single__3_sbox_out__4__3) ^ (plaintext__63);
  plaintext__41 = (des_single__3_sbox_out__4__4) ^ (plaintext__41);
  des_single__3_sbox_in__5__1 = (key__7) ^ (plaintext__38);
  des_single__3_sbox_in__5__2 = (key__53) ^ (plaintext__30);
  des_single__3_sbox_in__5__3 = (key__63) ^ (plaintext__22);
  des_single__3_sbox_in__5__4 = (key__13) ^ (plaintext__14);
  des_single__3_sbox_in__5__5 = (key__46) ^ (plaintext__6);
  des_single__3_sbox_in__5__6 = (key__20) ^ (plaintext__64);
  sbox__5(des_single__3_sbox_in__5__1,des_single__3_sbox_in__5__2,des_single__3_sbox_in__5__3,des_single__3_sbox_in__5__4,des_single__3_sbox_in__5__5,des_single__3_sbox_in__5__6,&des_single__3_sbox_out__5__1,&des_single__3_sbox_out__5__2,&des_single__3_sbox_out__5__3,&des_single__3_sbox_out__5__4);
  plaintext__33 = (des_single__3_sbox_out__5__1) ^ (plaintext__33);
  plaintext__31 = (des_single__3_sbox_out__5__2) ^ (plaintext__31);
  plaintext__43 = (des_single__3_sbox_out__5__3) ^ (plaintext__43);
  plaintext__45 = (des_single__3_sbox_out__5__4) ^ (plaintext__45);
  des_single__3_sbox_in__6__1 = (key__21) ^ (plaintext__6);
  des_single__3_sbox_in__6__2 = (key__12) ^ (plaintext__64);
  des_single__3_sbox_in__6__3 = (key__61) ^ (plaintext__56);
  des_single__3_sbox_in__6__4 = (key__23) ^ (plaintext__48);
  des_single__3_sbox_in__6__5 = (key__38) ^ (plaintext__40);
  des_single__3_sbox_in__6__6 = (key__47) ^ (plaintext__32);
  sbox__6(des_single__3_sbox_in__6__1,des_single__3_sbox_in__6__2,des_single__3_sbox_in__6__3,des_single__3_sbox_in__6__4,des_single__3_sbox_in__6__5,des_single__3_sbox_in__6__6,&des_single__3_sbox_out__6__1,&des_single__3_sbox_out__6__2,&des_single__3_sbox_out__6__3,&des_single__3_sbox_out__6__4);
  plaintext__7 = (des_single__3_sbox_out__6__1) ^ (plaintext__7);
  plaintext__35 = (des_single__3_sbox_out__6__2) ^ (plaintext__35);
  plaintext__21 = (des_single__3_sbox_out__6__3) ^ (plaintext__21);
  plaintext__9 = (des_single__3_sbox_out__6__4) ^ (plaintext__9);
  des_single__3_sbox_in__7__1 = (key__5) ^ (plaintext__40);
  des_single__3_sbox_in__7__2 = (key__37) ^ (plaintext__32);
  des_single__3_sbox_in__7__3 = (key__4) ^ (plaintext__24);
  des_single__3_sbox_in__7__4 = (key__22) ^ (plaintext__16);
  des_single__3_sbox_in__7__5 = (key__15) ^ (plaintext__8);
  des_single__3_sbox_in__7__6 = (key__54) ^ (plaintext__58);
  sbox__7(des_single__3_sbox_in__7__1,des_single__3_sbox_in__7__2,des_single__3_sbox_in__7__3,des_single__3_sbox_in__7__4,des_single__3_sbox_in__7__5,des_single__3_sbox_in__7__6,&des_single__3_sbox_out__7__1,&des_single__3_sbox_out__7__2,&des_single__3_sbox_out__7__3,&des_single__3_sbox_out__7__4);
  plaintext__25 = (des_single__3_sbox_out__7__1) ^ (plaintext__25);
  plaintext__47 = (des_single__3_sbox_out__7__2) ^ (plaintext__47);
  plaintext__11 = (des_single__3_sbox_out__7__3) ^ (plaintext__11);
  plaintext__29 = (des_single__3_sbox_out__7__4) ^ (plaintext__29);
  des_single__4_sbox_in__0__1 = (key__19) ^ (plaintext__7);
  des_single__4_sbox_in__0__2 = (key__60) ^ (plaintext__57);
  des_single__4_sbox_in__0__3 = (key__43) ^ (plaintext__49);
  des_single__4_sbox_in__0__4 = (key__33) ^ (plaintext__41);
  des_single__4_sbox_in__0__5 = (key__58) ^ (plaintext__33);
  des_single__4_sbox_in__0__6 = (key__26) ^ (plaintext__25);
  sbox__0(des_single__4_sbox_in__0__1,des_single__4_sbox_in__0__2,des_single__4_sbox_in__0__3,des_single__4_sbox_in__0__4,des_single__4_sbox_in__0__5,des_single__4_sbox_in__0__6,&des_single__4_sbox_out__0__1,&des_single__4_sbox_out__0__2,&des_single__4_sbox_out__0__3,&des_single__4_sbox_out__0__4);
  plaintext__60 = (des_single__4_sbox_out__0__1) ^ (plaintext__60);
  plaintext__62 = (des_single__4_sbox_out__0__2) ^ (plaintext__62);
  plaintext__14 = (des_single__4_sbox_out__0__3) ^ (plaintext__14);
  plaintext__16 = (des_single__4_sbox_out__0__4) ^ (plaintext__16);
  des_single__4_sbox_in__1__1 = (key__42) ^ (plaintext__33);
  des_single__4_sbox_in__1__2 = (key__1) ^ (plaintext__25);
  des_single__4_sbox_in__1__3 = (key__11) ^ (plaintext__17);
  des_single__4_sbox_in__1__4 = (key__18) ^ (plaintext__9);
  des_single__4_sbox_in__1__5 = (key__57) ^ (plaintext__1);
  des_single__4_sbox_in__1__6 = (key__51) ^ (plaintext__59);
  sbox__1(des_single__4_sbox_in__1__1,des_single__4_sbox_in__1__2,des_single__4_sbox_in__1__3,des_single__4_sbox_in__1__4,des_single__4_sbox_in__1__5,des_single__4_sbox_in__1__6,&des_single__4_sbox_out__1__1,&des_single__4_sbox_out__1__2,&des_single__4_sbox_out__1__3,&des_single__4_sbox_out__1__4);
  plaintext__28 = (des_single__4_sbox_out__1__1) ^ (plaintext__28);
  plaintext__40 = (des_single__4_sbox_out__1__2) ^ (plaintext__40);
  plaintext__50 = (des_single__4_sbox_out__1__3) ^ (plaintext__50);
  plaintext__54 = (des_single__4_sbox_out__1__4) ^ (plaintext__54);
  des_single__4_sbox_in__2__1 = (key__41) ^ (plaintext__1);
  des_single__4_sbox_in__2__2 = (key__44) ^ (plaintext__59);
  des_single__4_sbox_in__2__3 = (key__35) ^ (plaintext__51);
  des_single__4_sbox_in__2__4 = (key__34) ^ (plaintext__43);
  des_single__4_sbox_in__2__5 = (key__17) ^ (plaintext__35);
  des_single__4_sbox_in__2__6 = (key__2) ^ (plaintext__27);
  sbox__2(des_single__4_sbox_in__2__1,des_single__4_sbox_in__2__2,des_single__4_sbox_in__2__3,des_single__4_sbox_in__2__4,des_single__4_sbox_in__2__5,des_single__4_sbox_in__2__6,&des_single__4_sbox_out__2__1,&des_single__4_sbox_out__2__2,&des_single__4_sbox_out__2__3,&des_single__4_sbox_out__2__4);
  plaintext__6 = (des_single__4_sbox_out__2__1) ^ (plaintext__6);
  plaintext__4 = (des_single__4_sbox_out__2__2) ^ (plaintext__4);
  plaintext__24 = (des_single__4_sbox_out__2__3) ^ (plaintext__24);
  plaintext__18 = (des_single__4_sbox_out__2__4) ^ (plaintext__18);
  des_single__4_sbox_in__3__1 = (key__3) ^ (plaintext__35);
  des_single__4_sbox_in__3__2 = (key__10) ^ (plaintext__27);
  des_single__4_sbox_in__3__3 = (key__9) ^ (plaintext__19);
  des_single__4_sbox_in__3__4 = (key__36) ^ (plaintext__11);
  des_single__4_sbox_in__3__5 = (key__27) ^ (plaintext__3);
  des_single__4_sbox_in__3__6 = (key__50) ^ (plaintext__61);
  sbox__3(des_single__4_sbox_in__3__1,des_single__4_sbox_in__3__2,des_single__4_sbox_in__3__3,des_single__4_sbox_in__3__4,des_single__4_sbox_in__3__5,des_single__4_sbox_in__3__6,&des_single__4_sbox_out__3__1,&des_single__4_sbox_out__3__2,&des_single__4_sbox_out__3__3,&des_single__4_sbox_out__3__4);
  plaintext__56 = (des_single__4_sbox_out__3__1) ^ (plaintext__56);
  plaintext__38 = (des_single__4_sbox_out__3__2) ^ (plaintext__38);
  plaintext__52 = (des_single__4_sbox_out__3__3) ^ (plaintext__52);
  plaintext__58 = (des_single__4_sbox_out__3__4) ^ (plaintext__58);
  des_single__4_sbox_in__4__1 = (key__29) ^ (plaintext__3);
  des_single__4_sbox_in__4__2 = (key__39) ^ (plaintext__61);
  des_single__4_sbox_in__4__3 = (key__46) ^ (plaintext__53);
  des_single__4_sbox_in__4__4 = (key__61) ^ (plaintext__45);
  des_single__4_sbox_in__4__5 = (key__12) ^ (plaintext__37);
  des_single__4_sbox_in__4__6 = (key__15) ^ (plaintext__29);
  sbox__4(des_single__4_sbox_in__4__1,des_single__4_sbox_in__4__2,des_single__4_sbox_in__4__3,des_single__4_sbox_in__4__4,des_single__4_sbox_in__4__5,des_single__4_sbox_in__4__6,&des_single__4_sbox_out__4__1,&des_single__4_sbox_out__4__2,&des_single__4_sbox_out__4__3,&des_single__4_sbox_out__4__4);
  plaintext__2 = (des_single__4_sbox_out__4__1) ^ (plaintext__2);
  plaintext__20 = (des_single__4_sbox_out__4__2) ^ (plaintext__20);
  plaintext__64 = (des_single__4_sbox_out__4__3) ^ (plaintext__64);
  plaintext__42 = (des_single__4_sbox_out__4__4) ^ (plaintext__42);
  des_single__4_sbox_in__5__1 = (key__54) ^ (plaintext__37);
  des_single__4_sbox_in__5__2 = (key__37) ^ (plaintext__29);
  des_single__4_sbox_in__5__3 = (key__47) ^ (plaintext__21);
  des_single__4_sbox_in__5__4 = (key__28) ^ (plaintext__13);
  des_single__4_sbox_in__5__5 = (key__30) ^ (plaintext__5);
  des_single__4_sbox_in__5__6 = (key__4) ^ (plaintext__63);
  sbox__5(des_single__4_sbox_in__5__1,des_single__4_sbox_in__5__2,des_single__4_sbox_in__5__3,des_single__4_sbox_in__5__4,des_single__4_sbox_in__5__5,des_single__4_sbox_in__5__6,&des_single__4_sbox_out__5__1,&des_single__4_sbox_out__5__2,&des_single__4_sbox_out__5__3,&des_single__4_sbox_out__5__4);
  plaintext__34 = (des_single__4_sbox_out__5__1) ^ (plaintext__34);
  plaintext__32 = (des_single__4_sbox_out__5__2) ^ (plaintext__32);
  plaintext__44 = (des_single__4_sbox_out__5__3) ^ (plaintext__44);
  plaintext__46 = (des_single__4_sbox_out__5__4) ^ (plaintext__46);
  des_single__4_sbox_in__6__1 = (key__5) ^ (plaintext__5);
  des_single__4_sbox_in__6__2 = (key__63) ^ (plaintext__63);
  des_single__4_sbox_in__6__3 = (key__45) ^ (plaintext__55);
  des_single__4_sbox_in__6__4 = (key__7) ^ (plaintext__47);
  des_single__4_sbox_in__6__5 = (key__22) ^ (plaintext__39);
  des_single__4_sbox_in__6__6 = (key__31) ^ (plaintext__31);
  sbox__6(des_single__4_sbox_in__6__1,des_single__4_sbox_in__6__2,des_single__4_sbox_in__6__3,des_single__4_sbox_in__6__4,des_single__4_sbox_in__6__5,des_single__4_sbox_in__6__6,&des_single__4_sbox_out__6__1,&des_single__4_sbox_out__6__2,&des_single__4_sbox_out__6__3,&des_single__4_sbox_out__6__4);
  plaintext__8 = (des_single__4_sbox_out__6__1) ^ (plaintext__8);
  plaintext__36 = (des_single__4_sbox_out__6__2) ^ (plaintext__36);
  plaintext__22 = (des_single__4_sbox_out__6__3) ^ (plaintext__22);
  plaintext__10 = (des_single__4_sbox_out__6__4) ^ (plaintext__10);
  des_single__4_sbox_in__7__1 = (key__20) ^ (plaintext__39);
  des_single__4_sbox_in__7__2 = (key__21) ^ (plaintext__31);
  des_single__4_sbox_in__7__3 = (key__55) ^ (plaintext__23);
  des_single__4_sbox_in__7__4 = (key__6) ^ (plaintext__15);
  des_single__4_sbox_in__7__5 = (key__62) ^ (plaintext__7);
  des_single__4_sbox_in__7__6 = (key__38) ^ (plaintext__57);
  sbox__7(des_single__4_sbox_in__7__1,des_single__4_sbox_in__7__2,des_single__4_sbox_in__7__3,des_single__4_sbox_in__7__4,des_single__4_sbox_in__7__5,des_single__4_sbox_in__7__6,&des_single__4_sbox_out__7__1,&des_single__4_sbox_out__7__2,&des_single__4_sbox_out__7__3,&des_single__4_sbox_out__7__4);
  plaintext__26 = (des_single__4_sbox_out__7__1) ^ (plaintext__26);
  plaintext__48 = (des_single__4_sbox_out__7__2) ^ (plaintext__48);
  plaintext__12 = (des_single__4_sbox_out__7__3) ^ (plaintext__12);
  plaintext__30 = (des_single__4_sbox_out__7__4) ^ (plaintext__30);
  des_single__5_sbox_in__0__1 = (key__3) ^ (plaintext__8);
  des_single__5_sbox_in__0__2 = (key__44) ^ (plaintext__58);
  des_single__5_sbox_in__0__3 = (key__27) ^ (plaintext__50);
  des_single__5_sbox_in__0__4 = (key__17) ^ (plaintext__42);
  des_single__5_sbox_in__0__5 = (key__42) ^ (plaintext__34);
  des_single__5_sbox_in__0__6 = (key__10) ^ (plaintext__26);
  sbox__0(des_single__5_sbox_in__0__1,des_single__5_sbox_in__0__2,des_single__5_sbox_in__0__3,des_single__5_sbox_in__0__4,des_single__5_sbox_in__0__5,des_single__5_sbox_in__0__6,&des_single__5_sbox_out__0__1,&des_single__5_sbox_out__0__2,&des_single__5_sbox_out__0__3,&des_single__5_sbox_out__0__4);
  plaintext__59 = (des_single__5_sbox_out__0__1) ^ (plaintext__59);
  plaintext__61 = (des_single__5_sbox_out__0__2) ^ (plaintext__61);
  plaintext__13 = (des_single__5_sbox_out__0__3) ^ (plaintext__13);
  plaintext__15 = (des_single__5_sbox_out__0__4) ^ (plaintext__15);
  des_single__5_sbox_in__1__1 = (key__26) ^ (plaintext__34);
  des_single__5_sbox_in__1__2 = (key__50) ^ (plaintext__26);
  des_single__5_sbox_in__1__3 = (key__60) ^ (plaintext__18);
  des_single__5_sbox_in__1__4 = (key__2) ^ (plaintext__10);
  des_single__5_sbox_in__1__5 = (key__41) ^ (plaintext__2);
  des_single__5_sbox_in__1__6 = (key__35) ^ (plaintext__60);
  sbox__1(des_single__5_sbox_in__1__1,des_single__5_sbox_in__1__2,des_single__5_sbox_in__1__3,des_single__5_sbox_in__1__4,des_single__5_sbox_in__1__5,des_single__5_sbox_in__1__6,&des_single__5_sbox_out__1__1,&des_single__5_sbox_out__1__2,&des_single__5_sbox_out__1__3,&des_single__5_sbox_out__1__4);
  plaintext__27 = (des_single__5_sbox_out__1__1) ^ (plaintext__27);
  plaintext__39 = (des_single__5_sbox_out__1__2) ^ (plaintext__39);
  plaintext__49 = (des_single__5_sbox_out__1__3) ^ (plaintext__49);
  plaintext__53 = (des_single__5_sbox_out__1__4) ^ (plaintext__53);
  des_single__5_sbox_in__2__1 = (key__25) ^ (plaintext__2);
  des_single__5_sbox_in__2__2 = (key__57) ^ (plaintext__60);
  des_single__5_sbox_in__2__3 = (key__19) ^ (plaintext__52);
  des_single__5_sbox_in__2__4 = (key__18) ^ (plaintext__44);
  des_single__5_sbox_in__2__5 = (key__1) ^ (plaintext__36);
  des_single__5_sbox_in__2__6 = (key__51) ^ (plaintext__28);
  sbox__2(des_single__5_sbox_in__2__1,des_single__5_sbox_in__2__2,des_single__5_sbox_in__2__3,des_single__5_sbox_in__2__4,des_single__5_sbox_in__2__5,des_single__5_sbox_in__2__6,&des_single__5_sbox_out__2__1,&des_single__5_sbox_out__2__2,&des_single__5_sbox_out__2__3,&des_single__5_sbox_out__2__4);
  plaintext__5 = (des_single__5_sbox_out__2__1) ^ (plaintext__5);
  plaintext__3 = (des_single__5_sbox_out__2__2) ^ (plaintext__3);
  plaintext__23 = (des_single__5_sbox_out__2__3) ^ (plaintext__23);
  plaintext__17 = (des_single__5_sbox_out__2__4) ^ (plaintext__17);
  des_single__5_sbox_in__3__1 = (key__52) ^ (plaintext__36);
  des_single__5_sbox_in__3__2 = (key__59) ^ (plaintext__28);
  des_single__5_sbox_in__3__3 = (key__58) ^ (plaintext__20);
  des_single__5_sbox_in__3__4 = (key__49) ^ (plaintext__12);
  des_single__5_sbox_in__3__5 = (key__11) ^ (plaintext__4);
  des_single__5_sbox_in__3__6 = (key__34) ^ (plaintext__62);
  sbox__3(des_single__5_sbox_in__3__1,des_single__5_sbox_in__3__2,des_single__5_sbox_in__3__3,des_single__5_sbox_in__3__4,des_single__5_sbox_in__3__5,des_single__5_sbox_in__3__6,&des_single__5_sbox_out__3__1,&des_single__5_sbox_out__3__2,&des_single__5_sbox_out__3__3,&des_single__5_sbox_out__3__4);
  plaintext__55 = (des_single__5_sbox_out__3__1) ^ (plaintext__55);
  plaintext__37 = (des_single__5_sbox_out__3__2) ^ (plaintext__37);
  plaintext__51 = (des_single__5_sbox_out__3__3) ^ (plaintext__51);
  plaintext__57 = (des_single__5_sbox_out__3__4) ^ (plaintext__57);
  des_single__5_sbox_in__4__1 = (key__13) ^ (plaintext__4);
  des_single__5_sbox_in__4__2 = (key__23) ^ (plaintext__62);
  des_single__5_sbox_in__4__3 = (key__30) ^ (plaintext__54);
  des_single__5_sbox_in__4__4 = (key__45) ^ (plaintext__46);
  des_single__5_sbox_in__4__5 = (key__63) ^ (plaintext__38);
  des_single__5_sbox_in__4__6 = (key__62) ^ (plaintext__30);
  sbox__4(des_single__5_sbox_in__4__1,des_single__5_sbox_in__4__2,des_single__5_sbox_in__4__3,des_single__5_sbox_in__4__4,des_single__5_sbox_in__4__5,des_single__5_sbox_in__4__6,&des_single__5_sbox_out__4__1,&des_single__5_sbox_out__4__2,&des_single__5_sbox_out__4__3,&des_single__5_sbox_out__4__4);
  plaintext__1 = (des_single__5_sbox_out__4__1) ^ (plaintext__1);
  plaintext__19 = (des_single__5_sbox_out__4__2) ^ (plaintext__19);
  plaintext__63 = (des_single__5_sbox_out__4__3) ^ (plaintext__63);
  plaintext__41 = (des_single__5_sbox_out__4__4) ^ (plaintext__41);
  des_single__5_sbox_in__5__1 = (key__38) ^ (plaintext__38);
  des_single__5_sbox_in__5__2 = (key__21) ^ (plaintext__30);
  des_single__5_sbox_in__5__3 = (key__31) ^ (plaintext__22);
  des_single__5_sbox_in__5__4 = (key__12) ^ (plaintext__14);
  des_single__5_sbox_in__5__5 = (key__14) ^ (plaintext__6);
  des_single__5_sbox_in__5__6 = (key__55) ^ (plaintext__64);
  sbox__5(des_single__5_sbox_in__5__1,des_single__5_sbox_in__5__2,des_single__5_sbox_in__5__3,des_single__5_sbox_in__5__4,des_single__5_sbox_in__5__5,des_single__5_sbox_in__5__6,&des_single__5_sbox_out__5__1,&des_single__5_sbox_out__5__2,&des_single__5_sbox_out__5__3,&des_single__5_sbox_out__5__4);
  plaintext__33 = (des_single__5_sbox_out__5__1) ^ (plaintext__33);
  plaintext__31 = (des_single__5_sbox_out__5__2) ^ (plaintext__31);
  plaintext__43 = (des_single__5_sbox_out__5__3) ^ (plaintext__43);
  plaintext__45 = (des_single__5_sbox_out__5__4) ^ (plaintext__45);
  des_single__5_sbox_in__6__1 = (key__20) ^ (plaintext__6);
  des_single__5_sbox_in__6__2 = (key__47) ^ (plaintext__64);
  des_single__5_sbox_in__6__3 = (key__29) ^ (plaintext__56);
  des_single__5_sbox_in__6__4 = (key__54) ^ (plaintext__48);
  des_single__5_sbox_in__6__5 = (key__6) ^ (plaintext__40);
  des_single__5_sbox_in__6__6 = (key__15) ^ (plaintext__32);
  sbox__6(des_single__5_sbox_in__6__1,des_single__5_sbox_in__6__2,des_single__5_sbox_in__6__3,des_single__5_sbox_in__6__4,des_single__5_sbox_in__6__5,des_single__5_sbox_in__6__6,&des_single__5_sbox_out__6__1,&des_single__5_sbox_out__6__2,&des_single__5_sbox_out__6__3,&des_single__5_sbox_out__6__4);
  plaintext__7 = (des_single__5_sbox_out__6__1) ^ (plaintext__7);
  plaintext__35 = (des_single__5_sbox_out__6__2) ^ (plaintext__35);
  plaintext__21 = (des_single__5_sbox_out__6__3) ^ (plaintext__21);
  plaintext__9 = (des_single__5_sbox_out__6__4) ^ (plaintext__9);
  des_single__5_sbox_in__7__1 = (key__4) ^ (plaintext__40);
  des_single__5_sbox_in__7__2 = (key__5) ^ (plaintext__32);
  des_single__5_sbox_in__7__3 = (key__39) ^ (plaintext__24);
  des_single__5_sbox_in__7__4 = (key__53) ^ (plaintext__16);
  des_single__5_sbox_in__7__5 = (key__46) ^ (plaintext__8);
  des_single__5_sbox_in__7__6 = (key__22) ^ (plaintext__58);
  sbox__7(des_single__5_sbox_in__7__1,des_single__5_sbox_in__7__2,des_single__5_sbox_in__7__3,des_single__5_sbox_in__7__4,des_single__5_sbox_in__7__5,des_single__5_sbox_in__7__6,&des_single__5_sbox_out__7__1,&des_single__5_sbox_out__7__2,&des_single__5_sbox_out__7__3,&des_single__5_sbox_out__7__4);
  plaintext__25 = (des_single__5_sbox_out__7__1) ^ (plaintext__25);
  plaintext__47 = (des_single__5_sbox_out__7__2) ^ (plaintext__47);
  plaintext__11 = (des_single__5_sbox_out__7__3) ^ (plaintext__11);
  plaintext__29 = (des_single__5_sbox_out__7__4) ^ (plaintext__29);
  des_single__6_sbox_in__0__1 = (key__52) ^ (plaintext__7);
  des_single__6_sbox_in__0__2 = (key__57) ^ (plaintext__57);
  des_single__6_sbox_in__0__3 = (key__11) ^ (plaintext__49);
  des_single__6_sbox_in__0__4 = (key__1) ^ (plaintext__41);
  des_single__6_sbox_in__0__5 = (key__26) ^ (plaintext__33);
  des_single__6_sbox_in__0__6 = (key__59) ^ (plaintext__25);
  sbox__0(des_single__6_sbox_in__0__1,des_single__6_sbox_in__0__2,des_single__6_sbox_in__0__3,des_single__6_sbox_in__0__4,des_single__6_sbox_in__0__5,des_single__6_sbox_in__0__6,&des_single__6_sbox_out__0__1,&des_single__6_sbox_out__0__2,&des_single__6_sbox_out__0__3,&des_single__6_sbox_out__0__4);
  plaintext__60 = (des_single__6_sbox_out__0__1) ^ (plaintext__60);
  plaintext__62 = (des_single__6_sbox_out__0__2) ^ (plaintext__62);
  plaintext__14 = (des_single__6_sbox_out__0__3) ^ (plaintext__14);
  plaintext__16 = (des_single__6_sbox_out__0__4) ^ (plaintext__16);
  des_single__6_sbox_in__1__1 = (key__10) ^ (plaintext__33);
  des_single__6_sbox_in__1__2 = (key__34) ^ (plaintext__25);
  des_single__6_sbox_in__1__3 = (key__44) ^ (plaintext__17);
  des_single__6_sbox_in__1__4 = (key__51) ^ (plaintext__9);
  des_single__6_sbox_in__1__5 = (key__25) ^ (plaintext__1);
  des_single__6_sbox_in__1__6 = (key__19) ^ (plaintext__59);
  sbox__1(des_single__6_sbox_in__1__1,des_single__6_sbox_in__1__2,des_single__6_sbox_in__1__3,des_single__6_sbox_in__1__4,des_single__6_sbox_in__1__5,des_single__6_sbox_in__1__6,&des_single__6_sbox_out__1__1,&des_single__6_sbox_out__1__2,&des_single__6_sbox_out__1__3,&des_single__6_sbox_out__1__4);
  plaintext__28 = (des_single__6_sbox_out__1__1) ^ (plaintext__28);
  plaintext__40 = (des_single__6_sbox_out__1__2) ^ (plaintext__40);
  plaintext__50 = (des_single__6_sbox_out__1__3) ^ (plaintext__50);
  plaintext__54 = (des_single__6_sbox_out__1__4) ^ (plaintext__54);
  des_single__6_sbox_in__2__1 = (key__9) ^ (plaintext__1);
  des_single__6_sbox_in__2__2 = (key__41) ^ (plaintext__59);
  des_single__6_sbox_in__2__3 = (key__3) ^ (plaintext__51);
  des_single__6_sbox_in__2__4 = (key__2) ^ (plaintext__43);
  des_single__6_sbox_in__2__5 = (key__50) ^ (plaintext__35);
  des_single__6_sbox_in__2__6 = (key__35) ^ (plaintext__27);
  sbox__2(des_single__6_sbox_in__2__1,des_single__6_sbox_in__2__2,des_single__6_sbox_in__2__3,des_single__6_sbox_in__2__4,des_single__6_sbox_in__2__5,des_single__6_sbox_in__2__6,&des_single__6_sbox_out__2__1,&des_single__6_sbox_out__2__2,&des_single__6_sbox_out__2__3,&des_single__6_sbox_out__2__4);
  plaintext__6 = (des_single__6_sbox_out__2__1) ^ (plaintext__6);
  plaintext__4 = (des_single__6_sbox_out__2__2) ^ (plaintext__4);
  plaintext__24 = (des_single__6_sbox_out__2__3) ^ (plaintext__24);
  plaintext__18 = (des_single__6_sbox_out__2__4) ^ (plaintext__18);
  des_single__6_sbox_in__3__1 = (key__36) ^ (plaintext__35);
  des_single__6_sbox_in__3__2 = (key__43) ^ (plaintext__27);
  des_single__6_sbox_in__3__3 = (key__42) ^ (plaintext__19);
  des_single__6_sbox_in__3__4 = (key__33) ^ (plaintext__11);
  des_single__6_sbox_in__3__5 = (key__60) ^ (plaintext__3);
  des_single__6_sbox_in__3__6 = (key__18) ^ (plaintext__61);
  sbox__3(des_single__6_sbox_in__3__1,des_single__6_sbox_in__3__2,des_single__6_sbox_in__3__3,des_single__6_sbox_in__3__4,des_single__6_sbox_in__3__5,des_single__6_sbox_in__3__6,&des_single__6_sbox_out__3__1,&des_single__6_sbox_out__3__2,&des_single__6_sbox_out__3__3,&des_single__6_sbox_out__3__4);
  plaintext__56 = (des_single__6_sbox_out__3__1) ^ (plaintext__56);
  plaintext__38 = (des_single__6_sbox_out__3__2) ^ (plaintext__38);
  plaintext__52 = (des_single__6_sbox_out__3__3) ^ (plaintext__52);
  plaintext__58 = (des_single__6_sbox_out__3__4) ^ (plaintext__58);
  des_single__6_sbox_in__4__1 = (key__28) ^ (plaintext__3);
  des_single__6_sbox_in__4__2 = (key__7) ^ (plaintext__61);
  des_single__6_sbox_in__4__3 = (key__14) ^ (plaintext__53);
  des_single__6_sbox_in__4__4 = (key__29) ^ (plaintext__45);
  des_single__6_sbox_in__4__5 = (key__47) ^ (plaintext__37);
  des_single__6_sbox_in__4__6 = (key__46) ^ (plaintext__29);
  sbox__4(des_single__6_sbox_in__4__1,des_single__6_sbox_in__4__2,des_single__6_sbox_in__4__3,des_single__6_sbox_in__4__4,des_single__6_sbox_in__4__5,des_single__6_sbox_in__4__6,&des_single__6_sbox_out__4__1,&des_single__6_sbox_out__4__2,&des_single__6_sbox_out__4__3,&des_single__6_sbox_out__4__4);
  plaintext__2 = (des_single__6_sbox_out__4__1) ^ (plaintext__2);
  plaintext__20 = (des_single__6_sbox_out__4__2) ^ (plaintext__20);
  plaintext__64 = (des_single__6_sbox_out__4__3) ^ (plaintext__64);
  plaintext__42 = (des_single__6_sbox_out__4__4) ^ (plaintext__42);
  des_single__6_sbox_in__5__1 = (key__22) ^ (plaintext__37);
  des_single__6_sbox_in__5__2 = (key__5) ^ (plaintext__29);
  des_single__6_sbox_in__5__3 = (key__15) ^ (plaintext__21);
  des_single__6_sbox_in__5__4 = (key__63) ^ (plaintext__13);
  des_single__6_sbox_in__5__5 = (key__61) ^ (plaintext__5);
  des_single__6_sbox_in__5__6 = (key__39) ^ (plaintext__63);
  sbox__5(des_single__6_sbox_in__5__1,des_single__6_sbox_in__5__2,des_single__6_sbox_in__5__3,des_single__6_sbox_in__5__4,des_single__6_sbox_in__5__5,des_single__6_sbox_in__5__6,&des_single__6_sbox_out__5__1,&des_single__6_sbox_out__5__2,&des_single__6_sbox_out__5__3,&des_single__6_sbox_out__5__4);
  plaintext__34 = (des_single__6_sbox_out__5__1) ^ (plaintext__34);
  plaintext__32 = (des_single__6_sbox_out__5__2) ^ (plaintext__32);
  plaintext__44 = (des_single__6_sbox_out__5__3) ^ (plaintext__44);
  plaintext__46 = (des_single__6_sbox_out__5__4) ^ (plaintext__46);
  des_single__6_sbox_in__6__1 = (key__4) ^ (plaintext__5);
  des_single__6_sbox_in__6__2 = (key__31) ^ (plaintext__63);
  des_single__6_sbox_in__6__3 = (key__13) ^ (plaintext__55);
  des_single__6_sbox_in__6__4 = (key__38) ^ (plaintext__47);
  des_single__6_sbox_in__6__5 = (key__53) ^ (plaintext__39);
  des_single__6_sbox_in__6__6 = (key__62) ^ (plaintext__31);
  sbox__6(des_single__6_sbox_in__6__1,des_single__6_sbox_in__6__2,des_single__6_sbox_in__6__3,des_single__6_sbox_in__6__4,des_single__6_sbox_in__6__5,des_single__6_sbox_in__6__6,&des_single__6_sbox_out__6__1,&des_single__6_sbox_out__6__2,&des_single__6_sbox_out__6__3,&des_single__6_sbox_out__6__4);
  plaintext__8 = (des_single__6_sbox_out__6__1) ^ (plaintext__8);
  plaintext__36 = (des_single__6_sbox_out__6__2) ^ (plaintext__36);
  plaintext__22 = (des_single__6_sbox_out__6__3) ^ (plaintext__22);
  plaintext__10 = (des_single__6_sbox_out__6__4) ^ (plaintext__10);
  des_single__6_sbox_in__7__1 = (key__55) ^ (plaintext__39);
  des_single__6_sbox_in__7__2 = (key__20) ^ (plaintext__31);
  des_single__6_sbox_in__7__3 = (key__23) ^ (plaintext__23);
  des_single__6_sbox_in__7__4 = (key__37) ^ (plaintext__15);
  des_single__6_sbox_in__7__5 = (key__30) ^ (plaintext__7);
  des_single__6_sbox_in__7__6 = (key__6) ^ (plaintext__57);
  sbox__7(des_single__6_sbox_in__7__1,des_single__6_sbox_in__7__2,des_single__6_sbox_in__7__3,des_single__6_sbox_in__7__4,des_single__6_sbox_in__7__5,des_single__6_sbox_in__7__6,&des_single__6_sbox_out__7__1,&des_single__6_sbox_out__7__2,&des_single__6_sbox_out__7__3,&des_single__6_sbox_out__7__4);
  plaintext__26 = (des_single__6_sbox_out__7__1) ^ (plaintext__26);
  plaintext__48 = (des_single__6_sbox_out__7__2) ^ (plaintext__48);
  plaintext__12 = (des_single__6_sbox_out__7__3) ^ (plaintext__12);
  plaintext__30 = (des_single__6_sbox_out__7__4) ^ (plaintext__30);
  des_single__7_sbox_in__0__1 = (key__36) ^ (plaintext__8);
  des_single__7_sbox_in__0__2 = (key__41) ^ (plaintext__58);
  des_single__7_sbox_in__0__3 = (key__60) ^ (plaintext__50);
  des_single__7_sbox_in__0__4 = (key__50) ^ (plaintext__42);
  des_single__7_sbox_in__0__5 = (key__10) ^ (plaintext__34);
  des_single__7_sbox_in__0__6 = (key__43) ^ (plaintext__26);
  sbox__0(des_single__7_sbox_in__0__1,des_single__7_sbox_in__0__2,des_single__7_sbox_in__0__3,des_single__7_sbox_in__0__4,des_single__7_sbox_in__0__5,des_single__7_sbox_in__0__6,&des_single__7_sbox_out__0__1,&des_single__7_sbox_out__0__2,&des_single__7_sbox_out__0__3,&des_single__7_sbox_out__0__4);
  plaintext__59 = (des_single__7_sbox_out__0__1) ^ (plaintext__59);
  plaintext__61 = (des_single__7_sbox_out__0__2) ^ (plaintext__61);
  plaintext__13 = (des_single__7_sbox_out__0__3) ^ (plaintext__13);
  plaintext__15 = (des_single__7_sbox_out__0__4) ^ (plaintext__15);
  des_single__7_sbox_in__1__1 = (key__59) ^ (plaintext__34);
  des_single__7_sbox_in__1__2 = (key__18) ^ (plaintext__26);
  des_single__7_sbox_in__1__3 = (key__57) ^ (plaintext__18);
  des_single__7_sbox_in__1__4 = (key__35) ^ (plaintext__10);
  des_single__7_sbox_in__1__5 = (key__9) ^ (plaintext__2);
  des_single__7_sbox_in__1__6 = (key__3) ^ (plaintext__60);
  sbox__1(des_single__7_sbox_in__1__1,des_single__7_sbox_in__1__2,des_single__7_sbox_in__1__3,des_single__7_sbox_in__1__4,des_single__7_sbox_in__1__5,des_single__7_sbox_in__1__6,&des_single__7_sbox_out__1__1,&des_single__7_sbox_out__1__2,&des_single__7_sbox_out__1__3,&des_single__7_sbox_out__1__4);
  plaintext__27 = (des_single__7_sbox_out__1__1) ^ (plaintext__27);
  plaintext__39 = (des_single__7_sbox_out__1__2) ^ (plaintext__39);
  plaintext__49 = (des_single__7_sbox_out__1__3) ^ (plaintext__49);
  plaintext__53 = (des_single__7_sbox_out__1__4) ^ (plaintext__53);
  des_single__7_sbox_in__2__1 = (key__58) ^ (plaintext__2);
  des_single__7_sbox_in__2__2 = (key__25) ^ (plaintext__60);
  des_single__7_sbox_in__2__3 = (key__52) ^ (plaintext__52);
  des_single__7_sbox_in__2__4 = (key__51) ^ (plaintext__44);
  des_single__7_sbox_in__2__5 = (key__34) ^ (plaintext__36);
  des_single__7_sbox_in__2__6 = (key__19) ^ (plaintext__28);
  sbox__2(des_single__7_sbox_in__2__1,des_single__7_sbox_in__2__2,des_single__7_sbox_in__2__3,des_single__7_sbox_in__2__4,des_single__7_sbox_in__2__5,des_single__7_sbox_in__2__6,&des_single__7_sbox_out__2__1,&des_single__7_sbox_out__2__2,&des_single__7_sbox_out__2__3,&des_single__7_sbox_out__2__4);
  plaintext__5 = (des_single__7_sbox_out__2__1) ^ (plaintext__5);
  plaintext__3 = (des_single__7_sbox_out__2__2) ^ (plaintext__3);
  plaintext__23 = (des_single__7_sbox_out__2__3) ^ (plaintext__23);
  plaintext__17 = (des_single__7_sbox_out__2__4) ^ (plaintext__17);
  des_single__7_sbox_in__3__1 = (key__49) ^ (plaintext__36);
  des_single__7_sbox_in__3__2 = (key__27) ^ (plaintext__28);
  des_single__7_sbox_in__3__3 = (key__26) ^ (plaintext__20);
  des_single__7_sbox_in__3__4 = (key__17) ^ (plaintext__12);
  des_single__7_sbox_in__3__5 = (key__44) ^ (plaintext__4);
  des_single__7_sbox_in__3__6 = (key__2) ^ (plaintext__62);
  sbox__3(des_single__7_sbox_in__3__1,des_single__7_sbox_in__3__2,des_single__7_sbox_in__3__3,des_single__7_sbox_in__3__4,des_single__7_sbox_in__3__5,des_single__7_sbox_in__3__6,&des_single__7_sbox_out__3__1,&des_single__7_sbox_out__3__2,&des_single__7_sbox_out__3__3,&des_single__7_sbox_out__3__4);
  plaintext__55 = (des_single__7_sbox_out__3__1) ^ (plaintext__55);
  plaintext__37 = (des_single__7_sbox_out__3__2) ^ (plaintext__37);
  plaintext__51 = (des_single__7_sbox_out__3__3) ^ (plaintext__51);
  plaintext__57 = (des_single__7_sbox_out__3__4) ^ (plaintext__57);
  des_single__7_sbox_in__4__1 = (key__12) ^ (plaintext__4);
  des_single__7_sbox_in__4__2 = (key__54) ^ (plaintext__62);
  des_single__7_sbox_in__4__3 = (key__61) ^ (plaintext__54);
  des_single__7_sbox_in__4__4 = (key__13) ^ (plaintext__46);
  des_single__7_sbox_in__4__5 = (key__31) ^ (plaintext__38);
  des_single__7_sbox_in__4__6 = (key__30) ^ (plaintext__30);
  sbox__4(des_single__7_sbox_in__4__1,des_single__7_sbox_in__4__2,des_single__7_sbox_in__4__3,des_single__7_sbox_in__4__4,des_single__7_sbox_in__4__5,des_single__7_sbox_in__4__6,&des_single__7_sbox_out__4__1,&des_single__7_sbox_out__4__2,&des_single__7_sbox_out__4__3,&des_single__7_sbox_out__4__4);
  plaintext__1 = (des_single__7_sbox_out__4__1) ^ (plaintext__1);
  plaintext__19 = (des_single__7_sbox_out__4__2) ^ (plaintext__19);
  plaintext__63 = (des_single__7_sbox_out__4__3) ^ (plaintext__63);
  plaintext__41 = (des_single__7_sbox_out__4__4) ^ (plaintext__41);
  des_single__7_sbox_in__5__1 = (key__6) ^ (plaintext__38);
  des_single__7_sbox_in__5__2 = (key__20) ^ (plaintext__30);
  des_single__7_sbox_in__5__3 = (key__62) ^ (plaintext__22);
  des_single__7_sbox_in__5__4 = (key__47) ^ (plaintext__14);
  des_single__7_sbox_in__5__5 = (key__45) ^ (plaintext__6);
  des_single__7_sbox_in__5__6 = (key__23) ^ (plaintext__64);
  sbox__5(des_single__7_sbox_in__5__1,des_single__7_sbox_in__5__2,des_single__7_sbox_in__5__3,des_single__7_sbox_in__5__4,des_single__7_sbox_in__5__5,des_single__7_sbox_in__5__6,&des_single__7_sbox_out__5__1,&des_single__7_sbox_out__5__2,&des_single__7_sbox_out__5__3,&des_single__7_sbox_out__5__4);
  plaintext__33 = (des_single__7_sbox_out__5__1) ^ (plaintext__33);
  plaintext__31 = (des_single__7_sbox_out__5__2) ^ (plaintext__31);
  plaintext__43 = (des_single__7_sbox_out__5__3) ^ (plaintext__43);
  plaintext__45 = (des_single__7_sbox_out__5__4) ^ (plaintext__45);
  des_single__7_sbox_in__6__1 = (key__55) ^ (plaintext__6);
  des_single__7_sbox_in__6__2 = (key__15) ^ (plaintext__64);
  des_single__7_sbox_in__6__3 = (key__28) ^ (plaintext__56);
  des_single__7_sbox_in__6__4 = (key__22) ^ (plaintext__48);
  des_single__7_sbox_in__6__5 = (key__37) ^ (plaintext__40);
  des_single__7_sbox_in__6__6 = (key__46) ^ (plaintext__32);
  sbox__6(des_single__7_sbox_in__6__1,des_single__7_sbox_in__6__2,des_single__7_sbox_in__6__3,des_single__7_sbox_in__6__4,des_single__7_sbox_in__6__5,des_single__7_sbox_in__6__6,&des_single__7_sbox_out__6__1,&des_single__7_sbox_out__6__2,&des_single__7_sbox_out__6__3,&des_single__7_sbox_out__6__4);
  plaintext__7 = (des_single__7_sbox_out__6__1) ^ (plaintext__7);
  plaintext__35 = (des_single__7_sbox_out__6__2) ^ (plaintext__35);
  plaintext__21 = (des_single__7_sbox_out__6__3) ^ (plaintext__21);
  plaintext__9 = (des_single__7_sbox_out__6__4) ^ (plaintext__9);
  des_single__7_sbox_in__7__1 = (key__39) ^ (plaintext__40);
  des_single__7_sbox_in__7__2 = (key__4) ^ (plaintext__32);
  des_single__7_sbox_in__7__3 = (key__7) ^ (plaintext__24);
  des_single__7_sbox_in__7__4 = (key__21) ^ (plaintext__16);
  des_single__7_sbox_in__7__5 = (key__14) ^ (plaintext__8);
  des_single__7_sbox_in__7__6 = (key__53) ^ (plaintext__58);
  sbox__7(des_single__7_sbox_in__7__1,des_single__7_sbox_in__7__2,des_single__7_sbox_in__7__3,des_single__7_sbox_in__7__4,des_single__7_sbox_in__7__5,des_single__7_sbox_in__7__6,&des_single__7_sbox_out__7__1,&des_single__7_sbox_out__7__2,&des_single__7_sbox_out__7__3,&des_single__7_sbox_out__7__4);
  plaintext__25 = (des_single__7_sbox_out__7__1) ^ (plaintext__25);
  plaintext__47 = (des_single__7_sbox_out__7__2) ^ (plaintext__47);
  plaintext__11 = (des_single__7_sbox_out__7__3) ^ (plaintext__11);
  plaintext__29 = (des_single__7_sbox_out__7__4) ^ (plaintext__29);
  des_single__8_sbox_in__0__1 = (key__57) ^ (plaintext__7);
  des_single__8_sbox_in__0__2 = (key__33) ^ (plaintext__57);
  des_single__8_sbox_in__0__3 = (key__52) ^ (plaintext__49);
  des_single__8_sbox_in__0__4 = (key__42) ^ (plaintext__41);
  des_single__8_sbox_in__0__5 = (key__2) ^ (plaintext__33);
  des_single__8_sbox_in__0__6 = (key__35) ^ (plaintext__25);
  sbox__0(des_single__8_sbox_in__0__1,des_single__8_sbox_in__0__2,des_single__8_sbox_in__0__3,des_single__8_sbox_in__0__4,des_single__8_sbox_in__0__5,des_single__8_sbox_in__0__6,&des_single__8_sbox_out__0__1,&des_single__8_sbox_out__0__2,&des_single__8_sbox_out__0__3,&des_single__8_sbox_out__0__4);
  plaintext__60 = (des_single__8_sbox_out__0__1) ^ (plaintext__60);
  plaintext__62 = (des_single__8_sbox_out__0__2) ^ (plaintext__62);
  plaintext__14 = (des_single__8_sbox_out__0__3) ^ (plaintext__14);
  plaintext__16 = (des_single__8_sbox_out__0__4) ^ (plaintext__16);
  des_single__8_sbox_in__1__1 = (key__51) ^ (plaintext__33);
  des_single__8_sbox_in__1__2 = (key__10) ^ (plaintext__25);
  des_single__8_sbox_in__1__3 = (key__49) ^ (plaintext__17);
  des_single__8_sbox_in__1__4 = (key__27) ^ (plaintext__9);
  des_single__8_sbox_in__1__5 = (key__1) ^ (plaintext__1);
  des_single__8_sbox_in__1__6 = (key__60) ^ (plaintext__59);
  sbox__1(des_single__8_sbox_in__1__1,des_single__8_sbox_in__1__2,des_single__8_sbox_in__1__3,des_single__8_sbox_in__1__4,des_single__8_sbox_in__1__5,des_single__8_sbox_in__1__6,&des_single__8_sbox_out__1__1,&des_single__8_sbox_out__1__2,&des_single__8_sbox_out__1__3,&des_single__8_sbox_out__1__4);
  plaintext__28 = (des_single__8_sbox_out__1__1) ^ (plaintext__28);
  plaintext__40 = (des_single__8_sbox_out__1__2) ^ (plaintext__40);
  plaintext__50 = (des_single__8_sbox_out__1__3) ^ (plaintext__50);
  plaintext__54 = (des_single__8_sbox_out__1__4) ^ (plaintext__54);
  des_single__8_sbox_in__2__1 = (key__50) ^ (plaintext__1);
  des_single__8_sbox_in__2__2 = (key__17) ^ (plaintext__59);
  des_single__8_sbox_in__2__3 = (key__44) ^ (plaintext__51);
  des_single__8_sbox_in__2__4 = (key__43) ^ (plaintext__43);
  des_single__8_sbox_in__2__5 = (key__26) ^ (plaintext__35);
  des_single__8_sbox_in__2__6 = (key__11) ^ (plaintext__27);
  sbox__2(des_single__8_sbox_in__2__1,des_single__8_sbox_in__2__2,des_single__8_sbox_in__2__3,des_single__8_sbox_in__2__4,des_single__8_sbox_in__2__5,des_single__8_sbox_in__2__6,&des_single__8_sbox_out__2__1,&des_single__8_sbox_out__2__2,&des_single__8_sbox_out__2__3,&des_single__8_sbox_out__2__4);
  plaintext__6 = (des_single__8_sbox_out__2__1) ^ (plaintext__6);
  plaintext__4 = (des_single__8_sbox_out__2__2) ^ (plaintext__4);
  plaintext__24 = (des_single__8_sbox_out__2__3) ^ (plaintext__24);
  plaintext__18 = (des_single__8_sbox_out__2__4) ^ (plaintext__18);
  des_single__8_sbox_in__3__1 = (key__41) ^ (plaintext__35);
  des_single__8_sbox_in__3__2 = (key__19) ^ (plaintext__27);
  des_single__8_sbox_in__3__3 = (key__18) ^ (plaintext__19);
  des_single__8_sbox_in__3__4 = (key__9) ^ (plaintext__11);
  des_single__8_sbox_in__3__5 = (key__36) ^ (plaintext__3);
  des_single__8_sbox_in__3__6 = (key__59) ^ (plaintext__61);
  sbox__3(des_single__8_sbox_in__3__1,des_single__8_sbox_in__3__2,des_single__8_sbox_in__3__3,des_single__8_sbox_in__3__4,des_single__8_sbox_in__3__5,des_single__8_sbox_in__3__6,&des_single__8_sbox_out__3__1,&des_single__8_sbox_out__3__2,&des_single__8_sbox_out__3__3,&des_single__8_sbox_out__3__4);
  plaintext__56 = (des_single__8_sbox_out__3__1) ^ (plaintext__56);
  plaintext__38 = (des_single__8_sbox_out__3__2) ^ (plaintext__38);
  plaintext__52 = (des_single__8_sbox_out__3__3) ^ (plaintext__52);
  plaintext__58 = (des_single__8_sbox_out__3__4) ^ (plaintext__58);
  des_single__8_sbox_in__4__1 = (key__4) ^ (plaintext__3);
  des_single__8_sbox_in__4__2 = (key__46) ^ (plaintext__61);
  des_single__8_sbox_in__4__3 = (key__53) ^ (plaintext__53);
  des_single__8_sbox_in__4__4 = (key__5) ^ (plaintext__45);
  des_single__8_sbox_in__4__5 = (key__23) ^ (plaintext__37);
  des_single__8_sbox_in__4__6 = (key__22) ^ (plaintext__29);
  sbox__4(des_single__8_sbox_in__4__1,des_single__8_sbox_in__4__2,des_single__8_sbox_in__4__3,des_single__8_sbox_in__4__4,des_single__8_sbox_in__4__5,des_single__8_sbox_in__4__6,&des_single__8_sbox_out__4__1,&des_single__8_sbox_out__4__2,&des_single__8_sbox_out__4__3,&des_single__8_sbox_out__4__4);
  plaintext__2 = (des_single__8_sbox_out__4__1) ^ (plaintext__2);
  plaintext__20 = (des_single__8_sbox_out__4__2) ^ (plaintext__20);
  plaintext__64 = (des_single__8_sbox_out__4__3) ^ (plaintext__64);
  plaintext__42 = (des_single__8_sbox_out__4__4) ^ (plaintext__42);
  des_single__8_sbox_in__5__1 = (key__61) ^ (plaintext__37);
  des_single__8_sbox_in__5__2 = (key__12) ^ (plaintext__29);
  des_single__8_sbox_in__5__3 = (key__54) ^ (plaintext__21);
  des_single__8_sbox_in__5__4 = (key__39) ^ (plaintext__13);
  des_single__8_sbox_in__5__5 = (key__37) ^ (plaintext__5);
  des_single__8_sbox_in__5__6 = (key__15) ^ (plaintext__63);
  sbox__5(des_single__8_sbox_in__5__1,des_single__8_sbox_in__5__2,des_single__8_sbox_in__5__3,des_single__8_sbox_in__5__4,des_single__8_sbox_in__5__5,des_single__8_sbox_in__5__6,&des_single__8_sbox_out__5__1,&des_single__8_sbox_out__5__2,&des_single__8_sbox_out__5__3,&des_single__8_sbox_out__5__4);
  plaintext__34 = (des_single__8_sbox_out__5__1) ^ (plaintext__34);
  plaintext__32 = (des_single__8_sbox_out__5__2) ^ (plaintext__32);
  plaintext__44 = (des_single__8_sbox_out__5__3) ^ (plaintext__44);
  plaintext__46 = (des_single__8_sbox_out__5__4) ^ (plaintext__46);
  des_single__8_sbox_in__6__1 = (key__47) ^ (plaintext__5);
  des_single__8_sbox_in__6__2 = (key__7) ^ (plaintext__63);
  des_single__8_sbox_in__6__3 = (key__20) ^ (plaintext__55);
  des_single__8_sbox_in__6__4 = (key__14) ^ (plaintext__47);
  des_single__8_sbox_in__6__5 = (key__29) ^ (plaintext__39);
  des_single__8_sbox_in__6__6 = (key__38) ^ (plaintext__31);
  sbox__6(des_single__8_sbox_in__6__1,des_single__8_sbox_in__6__2,des_single__8_sbox_in__6__3,des_single__8_sbox_in__6__4,des_single__8_sbox_in__6__5,des_single__8_sbox_in__6__6,&des_single__8_sbox_out__6__1,&des_single__8_sbox_out__6__2,&des_single__8_sbox_out__6__3,&des_single__8_sbox_out__6__4);
  plaintext__8 = (des_single__8_sbox_out__6__1) ^ (plaintext__8);
  plaintext__36 = (des_single__8_sbox_out__6__2) ^ (plaintext__36);
  plaintext__22 = (des_single__8_sbox_out__6__3) ^ (plaintext__22);
  plaintext__10 = (des_single__8_sbox_out__6__4) ^ (plaintext__10);
  des_single__8_sbox_in__7__1 = (key__31) ^ (plaintext__39);
  des_single__8_sbox_in__7__2 = (key__63) ^ (plaintext__31);
  des_single__8_sbox_in__7__3 = (key__62) ^ (plaintext__23);
  des_single__8_sbox_in__7__4 = (key__13) ^ (plaintext__15);
  des_single__8_sbox_in__7__5 = (key__6) ^ (plaintext__7);
  des_single__8_sbox_in__7__6 = (key__45) ^ (plaintext__57);
  sbox__7(des_single__8_sbox_in__7__1,des_single__8_sbox_in__7__2,des_single__8_sbox_in__7__3,des_single__8_sbox_in__7__4,des_single__8_sbox_in__7__5,des_single__8_sbox_in__7__6,&des_single__8_sbox_out__7__1,&des_single__8_sbox_out__7__2,&des_single__8_sbox_out__7__3,&des_single__8_sbox_out__7__4);
  plaintext__26 = (des_single__8_sbox_out__7__1) ^ (plaintext__26);
  plaintext__48 = (des_single__8_sbox_out__7__2) ^ (plaintext__48);
  plaintext__12 = (des_single__8_sbox_out__7__3) ^ (plaintext__12);
  plaintext__30 = (des_single__8_sbox_out__7__4) ^ (plaintext__30);
  des_single__9_sbox_in__0__1 = (key__41) ^ (plaintext__8);
  des_single__9_sbox_in__0__2 = (key__17) ^ (plaintext__58);
  des_single__9_sbox_in__0__3 = (key__36) ^ (plaintext__50);
  des_single__9_sbox_in__0__4 = (key__26) ^ (plaintext__42);
  des_single__9_sbox_in__0__5 = (key__51) ^ (plaintext__34);
  des_single__9_sbox_in__0__6 = (key__19) ^ (plaintext__26);
  sbox__0(des_single__9_sbox_in__0__1,des_single__9_sbox_in__0__2,des_single__9_sbox_in__0__3,des_single__9_sbox_in__0__4,des_single__9_sbox_in__0__5,des_single__9_sbox_in__0__6,&des_single__9_sbox_out__0__1,&des_single__9_sbox_out__0__2,&des_single__9_sbox_out__0__3,&des_single__9_sbox_out__0__4);
  plaintext__59 = (des_single__9_sbox_out__0__1) ^ (plaintext__59);
  plaintext__61 = (des_single__9_sbox_out__0__2) ^ (plaintext__61);
  plaintext__13 = (des_single__9_sbox_out__0__3) ^ (plaintext__13);
  plaintext__15 = (des_single__9_sbox_out__0__4) ^ (plaintext__15);
  des_single__9_sbox_in__1__1 = (key__35) ^ (plaintext__34);
  des_single__9_sbox_in__1__2 = (key__59) ^ (plaintext__26);
  des_single__9_sbox_in__1__3 = (key__33) ^ (plaintext__18);
  des_single__9_sbox_in__1__4 = (key__11) ^ (plaintext__10);
  des_single__9_sbox_in__1__5 = (key__50) ^ (plaintext__2);
  des_single__9_sbox_in__1__6 = (key__44) ^ (plaintext__60);
  sbox__1(des_single__9_sbox_in__1__1,des_single__9_sbox_in__1__2,des_single__9_sbox_in__1__3,des_single__9_sbox_in__1__4,des_single__9_sbox_in__1__5,des_single__9_sbox_in__1__6,&des_single__9_sbox_out__1__1,&des_single__9_sbox_out__1__2,&des_single__9_sbox_out__1__3,&des_single__9_sbox_out__1__4);
  plaintext__27 = (des_single__9_sbox_out__1__1) ^ (plaintext__27);
  plaintext__39 = (des_single__9_sbox_out__1__2) ^ (plaintext__39);
  plaintext__49 = (des_single__9_sbox_out__1__3) ^ (plaintext__49);
  plaintext__53 = (des_single__9_sbox_out__1__4) ^ (plaintext__53);
  des_single__9_sbox_in__2__1 = (key__34) ^ (plaintext__2);
  des_single__9_sbox_in__2__2 = (key__1) ^ (plaintext__60);
  des_single__9_sbox_in__2__3 = (key__57) ^ (plaintext__52);
  des_single__9_sbox_in__2__4 = (key__27) ^ (plaintext__44);
  des_single__9_sbox_in__2__5 = (key__10) ^ (plaintext__36);
  des_single__9_sbox_in__2__6 = (key__60) ^ (plaintext__28);
  sbox__2(des_single__9_sbox_in__2__1,des_single__9_sbox_in__2__2,des_single__9_sbox_in__2__3,des_single__9_sbox_in__2__4,des_single__9_sbox_in__2__5,des_single__9_sbox_in__2__6,&des_single__9_sbox_out__2__1,&des_single__9_sbox_out__2__2,&des_single__9_sbox_out__2__3,&des_single__9_sbox_out__2__4);
  plaintext__5 = (des_single__9_sbox_out__2__1) ^ (plaintext__5);
  plaintext__3 = (des_single__9_sbox_out__2__2) ^ (plaintext__3);
  plaintext__23 = (des_single__9_sbox_out__2__3) ^ (plaintext__23);
  plaintext__17 = (des_single__9_sbox_out__2__4) ^ (plaintext__17);
  des_single__9_sbox_in__3__1 = (key__25) ^ (plaintext__36);
  des_single__9_sbox_in__3__2 = (key__3) ^ (plaintext__28);
  des_single__9_sbox_in__3__3 = (key__2) ^ (plaintext__20);
  des_single__9_sbox_in__3__4 = (key__58) ^ (plaintext__12);
  des_single__9_sbox_in__3__5 = (key__49) ^ (plaintext__4);
  des_single__9_sbox_in__3__6 = (key__43) ^ (plaintext__62);
  sbox__3(des_single__9_sbox_in__3__1,des_single__9_sbox_in__3__2,des_single__9_sbox_in__3__3,des_single__9_sbox_in__3__4,des_single__9_sbox_in__3__5,des_single__9_sbox_in__3__6,&des_single__9_sbox_out__3__1,&des_single__9_sbox_out__3__2,&des_single__9_sbox_out__3__3,&des_single__9_sbox_out__3__4);
  plaintext__55 = (des_single__9_sbox_out__3__1) ^ (plaintext__55);
  plaintext__37 = (des_single__9_sbox_out__3__2) ^ (plaintext__37);
  plaintext__51 = (des_single__9_sbox_out__3__3) ^ (plaintext__51);
  plaintext__57 = (des_single__9_sbox_out__3__4) ^ (plaintext__57);
  des_single__9_sbox_in__4__1 = (key__55) ^ (plaintext__4);
  des_single__9_sbox_in__4__2 = (key__30) ^ (plaintext__62);
  des_single__9_sbox_in__4__3 = (key__37) ^ (plaintext__54);
  des_single__9_sbox_in__4__4 = (key__20) ^ (plaintext__46);
  des_single__9_sbox_in__4__5 = (key__7) ^ (plaintext__38);
  des_single__9_sbox_in__4__6 = (key__6) ^ (plaintext__30);
  sbox__4(des_single__9_sbox_in__4__1,des_single__9_sbox_in__4__2,des_single__9_sbox_in__4__3,des_single__9_sbox_in__4__4,des_single__9_sbox_in__4__5,des_single__9_sbox_in__4__6,&des_single__9_sbox_out__4__1,&des_single__9_sbox_out__4__2,&des_single__9_sbox_out__4__3,&des_single__9_sbox_out__4__4);
  plaintext__1 = (des_single__9_sbox_out__4__1) ^ (plaintext__1);
  plaintext__19 = (des_single__9_sbox_out__4__2) ^ (plaintext__19);
  plaintext__63 = (des_single__9_sbox_out__4__3) ^ (plaintext__63);
  plaintext__41 = (des_single__9_sbox_out__4__4) ^ (plaintext__41);
  des_single__9_sbox_in__5__1 = (key__45) ^ (plaintext__38);
  des_single__9_sbox_in__5__2 = (key__63) ^ (plaintext__30);
  des_single__9_sbox_in__5__3 = (key__38) ^ (plaintext__22);
  des_single__9_sbox_in__5__4 = (key__23) ^ (plaintext__14);
  des_single__9_sbox_in__5__5 = (key__21) ^ (plaintext__6);
  des_single__9_sbox_in__5__6 = (key__62) ^ (plaintext__64);
  sbox__5(des_single__9_sbox_in__5__1,des_single__9_sbox_in__5__2,des_single__9_sbox_in__5__3,des_single__9_sbox_in__5__4,des_single__9_sbox_in__5__5,des_single__9_sbox_in__5__6,&des_single__9_sbox_out__5__1,&des_single__9_sbox_out__5__2,&des_single__9_sbox_out__5__3,&des_single__9_sbox_out__5__4);
  plaintext__33 = (des_single__9_sbox_out__5__1) ^ (plaintext__33);
  plaintext__31 = (des_single__9_sbox_out__5__2) ^ (plaintext__31);
  plaintext__43 = (des_single__9_sbox_out__5__3) ^ (plaintext__43);
  plaintext__45 = (des_single__9_sbox_out__5__4) ^ (plaintext__45);
  des_single__9_sbox_in__6__1 = (key__31) ^ (plaintext__6);
  des_single__9_sbox_in__6__2 = (key__54) ^ (plaintext__64);
  des_single__9_sbox_in__6__3 = (key__4) ^ (plaintext__56);
  des_single__9_sbox_in__6__4 = (key__61) ^ (plaintext__48);
  des_single__9_sbox_in__6__5 = (key__13) ^ (plaintext__40);
  des_single__9_sbox_in__6__6 = (key__22) ^ (plaintext__32);
  sbox__6(des_single__9_sbox_in__6__1,des_single__9_sbox_in__6__2,des_single__9_sbox_in__6__3,des_single__9_sbox_in__6__4,des_single__9_sbox_in__6__5,des_single__9_sbox_in__6__6,&des_single__9_sbox_out__6__1,&des_single__9_sbox_out__6__2,&des_single__9_sbox_out__6__3,&des_single__9_sbox_out__6__4);
  plaintext__7 = (des_single__9_sbox_out__6__1) ^ (plaintext__7);
  plaintext__35 = (des_single__9_sbox_out__6__2) ^ (plaintext__35);
  plaintext__21 = (des_single__9_sbox_out__6__3) ^ (plaintext__21);
  plaintext__9 = (des_single__9_sbox_out__6__4) ^ (plaintext__9);
  des_single__9_sbox_in__7__1 = (key__15) ^ (plaintext__40);
  des_single__9_sbox_in__7__2 = (key__47) ^ (plaintext__32);
  des_single__9_sbox_in__7__3 = (key__46) ^ (plaintext__24);
  des_single__9_sbox_in__7__4 = (key__28) ^ (plaintext__16);
  des_single__9_sbox_in__7__5 = (key__53) ^ (plaintext__8);
  des_single__9_sbox_in__7__6 = (key__29) ^ (plaintext__58);
  sbox__7(des_single__9_sbox_in__7__1,des_single__9_sbox_in__7__2,des_single__9_sbox_in__7__3,des_single__9_sbox_in__7__4,des_single__9_sbox_in__7__5,des_single__9_sbox_in__7__6,&des_single__9_sbox_out__7__1,&des_single__9_sbox_out__7__2,&des_single__9_sbox_out__7__3,&des_single__9_sbox_out__7__4);
  plaintext__25 = (des_single__9_sbox_out__7__1) ^ (plaintext__25);
  plaintext__47 = (des_single__9_sbox_out__7__2) ^ (plaintext__47);
  plaintext__11 = (des_single__9_sbox_out__7__3) ^ (plaintext__11);
  plaintext__29 = (des_single__9_sbox_out__7__4) ^ (plaintext__29);
  des_single__10_sbox_in__0__1 = (key__25) ^ (plaintext__7);
  des_single__10_sbox_in__0__2 = (key__1) ^ (plaintext__57);
  des_single__10_sbox_in__0__3 = (key__49) ^ (plaintext__49);
  des_single__10_sbox_in__0__4 = (key__10) ^ (plaintext__41);
  des_single__10_sbox_in__0__5 = (key__35) ^ (plaintext__33);
  des_single__10_sbox_in__0__6 = (key__3) ^ (plaintext__25);
  sbox__0(des_single__10_sbox_in__0__1,des_single__10_sbox_in__0__2,des_single__10_sbox_in__0__3,des_single__10_sbox_in__0__4,des_single__10_sbox_in__0__5,des_single__10_sbox_in__0__6,&des_single__10_sbox_out__0__1,&des_single__10_sbox_out__0__2,&des_single__10_sbox_out__0__3,&des_single__10_sbox_out__0__4);
  plaintext__60 = (des_single__10_sbox_out__0__1) ^ (plaintext__60);
  plaintext__62 = (des_single__10_sbox_out__0__2) ^ (plaintext__62);
  plaintext__14 = (des_single__10_sbox_out__0__3) ^ (plaintext__14);
  plaintext__16 = (des_single__10_sbox_out__0__4) ^ (plaintext__16);
  des_single__10_sbox_in__1__1 = (key__19) ^ (plaintext__33);
  des_single__10_sbox_in__1__2 = (key__43) ^ (plaintext__25);
  des_single__10_sbox_in__1__3 = (key__17) ^ (plaintext__17);
  des_single__10_sbox_in__1__4 = (key__60) ^ (plaintext__9);
  des_single__10_sbox_in__1__5 = (key__34) ^ (plaintext__1);
  des_single__10_sbox_in__1__6 = (key__57) ^ (plaintext__59);
  sbox__1(des_single__10_sbox_in__1__1,des_single__10_sbox_in__1__2,des_single__10_sbox_in__1__3,des_single__10_sbox_in__1__4,des_single__10_sbox_in__1__5,des_single__10_sbox_in__1__6,&des_single__10_sbox_out__1__1,&des_single__10_sbox_out__1__2,&des_single__10_sbox_out__1__3,&des_single__10_sbox_out__1__4);
  plaintext__28 = (des_single__10_sbox_out__1__1) ^ (plaintext__28);
  plaintext__40 = (des_single__10_sbox_out__1__2) ^ (plaintext__40);
  plaintext__50 = (des_single__10_sbox_out__1__3) ^ (plaintext__50);
  plaintext__54 = (des_single__10_sbox_out__1__4) ^ (plaintext__54);
  des_single__10_sbox_in__2__1 = (key__18) ^ (plaintext__1);
  des_single__10_sbox_in__2__2 = (key__50) ^ (plaintext__59);
  des_single__10_sbox_in__2__3 = (key__41) ^ (plaintext__51);
  des_single__10_sbox_in__2__4 = (key__11) ^ (plaintext__43);
  des_single__10_sbox_in__2__5 = (key__59) ^ (plaintext__35);
  des_single__10_sbox_in__2__6 = (key__44) ^ (plaintext__27);
  sbox__2(des_single__10_sbox_in__2__1,des_single__10_sbox_in__2__2,des_single__10_sbox_in__2__3,des_single__10_sbox_in__2__4,des_single__10_sbox_in__2__5,des_single__10_sbox_in__2__6,&des_single__10_sbox_out__2__1,&des_single__10_sbox_out__2__2,&des_single__10_sbox_out__2__3,&des_single__10_sbox_out__2__4);
  plaintext__6 = (des_single__10_sbox_out__2__1) ^ (plaintext__6);
  plaintext__4 = (des_single__10_sbox_out__2__2) ^ (plaintext__4);
  plaintext__24 = (des_single__10_sbox_out__2__3) ^ (plaintext__24);
  plaintext__18 = (des_single__10_sbox_out__2__4) ^ (plaintext__18);
  des_single__10_sbox_in__3__1 = (key__9) ^ (plaintext__35);
  des_single__10_sbox_in__3__2 = (key__52) ^ (plaintext__27);
  des_single__10_sbox_in__3__3 = (key__51) ^ (plaintext__19);
  des_single__10_sbox_in__3__4 = (key__42) ^ (plaintext__11);
  des_single__10_sbox_in__3__5 = (key__33) ^ (plaintext__3);
  des_single__10_sbox_in__3__6 = (key__27) ^ (plaintext__61);
  sbox__3(des_single__10_sbox_in__3__1,des_single__10_sbox_in__3__2,des_single__10_sbox_in__3__3,des_single__10_sbox_in__3__4,des_single__10_sbox_in__3__5,des_single__10_sbox_in__3__6,&des_single__10_sbox_out__3__1,&des_single__10_sbox_out__3__2,&des_single__10_sbox_out__3__3,&des_single__10_sbox_out__3__4);
  plaintext__56 = (des_single__10_sbox_out__3__1) ^ (plaintext__56);
  plaintext__38 = (des_single__10_sbox_out__3__2) ^ (plaintext__38);
  plaintext__52 = (des_single__10_sbox_out__3__3) ^ (plaintext__52);
  plaintext__58 = (des_single__10_sbox_out__3__4) ^ (plaintext__58);
  des_single__10_sbox_in__4__1 = (key__39) ^ (plaintext__3);
  des_single__10_sbox_in__4__2 = (key__14) ^ (plaintext__61);
  des_single__10_sbox_in__4__3 = (key__21) ^ (plaintext__53);
  des_single__10_sbox_in__4__4 = (key__4) ^ (plaintext__45);
  des_single__10_sbox_in__4__5 = (key__54) ^ (plaintext__37);
  des_single__10_sbox_in__4__6 = (key__53) ^ (plaintext__29);
  sbox__4(des_single__10_sbox_in__4__1,des_single__10_sbox_in__4__2,des_single__10_sbox_in__4__3,des_single__10_sbox_in__4__4,des_single__10_sbox_in__4__5,des_single__10_sbox_in__4__6,&des_single__10_sbox_out__4__1,&des_single__10_sbox_out__4__2,&des_single__10_sbox_out__4__3,&des_single__10_sbox_out__4__4);
  plaintext__2 = (des_single__10_sbox_out__4__1) ^ (plaintext__2);
  plaintext__20 = (des_single__10_sbox_out__4__2) ^ (plaintext__20);
  plaintext__64 = (des_single__10_sbox_out__4__3) ^ (plaintext__64);
  plaintext__42 = (des_single__10_sbox_out__4__4) ^ (plaintext__42);
  des_single__10_sbox_in__5__1 = (key__29) ^ (plaintext__37);
  des_single__10_sbox_in__5__2 = (key__47) ^ (plaintext__29);
  des_single__10_sbox_in__5__3 = (key__22) ^ (plaintext__21);
  des_single__10_sbox_in__5__4 = (key__7) ^ (plaintext__13);
  des_single__10_sbox_in__5__5 = (key__5) ^ (plaintext__5);
  des_single__10_sbox_in__5__6 = (key__46) ^ (plaintext__63);
  sbox__5(des_single__10_sbox_in__5__1,des_single__10_sbox_in__5__2,des_single__10_sbox_in__5__3,des_single__10_sbox_in__5__4,des_single__10_sbox_in__5__5,des_single__10_sbox_in__5__6,&des_single__10_sbox_out__5__1,&des_single__10_sbox_out__5__2,&des_single__10_sbox_out__5__3,&des_single__10_sbox_out__5__4);
  plaintext__34 = (des_single__10_sbox_out__5__1) ^ (plaintext__34);
  plaintext__32 = (des_single__10_sbox_out__5__2) ^ (plaintext__32);
  plaintext__44 = (des_single__10_sbox_out__5__3) ^ (plaintext__44);
  plaintext__46 = (des_single__10_sbox_out__5__4) ^ (plaintext__46);
  des_single__10_sbox_in__6__1 = (key__15) ^ (plaintext__5);
  des_single__10_sbox_in__6__2 = (key__38) ^ (plaintext__63);
  des_single__10_sbox_in__6__3 = (key__55) ^ (plaintext__55);
  des_single__10_sbox_in__6__4 = (key__45) ^ (plaintext__47);
  des_single__10_sbox_in__6__5 = (key__28) ^ (plaintext__39);
  des_single__10_sbox_in__6__6 = (key__6) ^ (plaintext__31);
  sbox__6(des_single__10_sbox_in__6__1,des_single__10_sbox_in__6__2,des_single__10_sbox_in__6__3,des_single__10_sbox_in__6__4,des_single__10_sbox_in__6__5,des_single__10_sbox_in__6__6,&des_single__10_sbox_out__6__1,&des_single__10_sbox_out__6__2,&des_single__10_sbox_out__6__3,&des_single__10_sbox_out__6__4);
  plaintext__8 = (des_single__10_sbox_out__6__1) ^ (plaintext__8);
  plaintext__36 = (des_single__10_sbox_out__6__2) ^ (plaintext__36);
  plaintext__22 = (des_single__10_sbox_out__6__3) ^ (plaintext__22);
  plaintext__10 = (des_single__10_sbox_out__6__4) ^ (plaintext__10);
  des_single__10_sbox_in__7__1 = (key__62) ^ (plaintext__39);
  des_single__10_sbox_in__7__2 = (key__31) ^ (plaintext__31);
  des_single__10_sbox_in__7__3 = (key__30) ^ (plaintext__23);
  des_single__10_sbox_in__7__4 = (key__12) ^ (plaintext__15);
  des_single__10_sbox_in__7__5 = (key__37) ^ (plaintext__7);
  des_single__10_sbox_in__7__6 = (key__13) ^ (plaintext__57);
  sbox__7(des_single__10_sbox_in__7__1,des_single__10_sbox_in__7__2,des_single__10_sbox_in__7__3,des_single__10_sbox_in__7__4,des_single__10_sbox_in__7__5,des_single__10_sbox_in__7__6,&des_single__10_sbox_out__7__1,&des_single__10_sbox_out__7__2,&des_single__10_sbox_out__7__3,&des_single__10_sbox_out__7__4);
  plaintext__26 = (des_single__10_sbox_out__7__1) ^ (plaintext__26);
  plaintext__48 = (des_single__10_sbox_out__7__2) ^ (plaintext__48);
  plaintext__12 = (des_single__10_sbox_out__7__3) ^ (plaintext__12);
  plaintext__30 = (des_single__10_sbox_out__7__4) ^ (plaintext__30);
  des_single__11_sbox_in__0__1 = (key__9) ^ (plaintext__8);
  des_single__11_sbox_in__0__2 = (key__50) ^ (plaintext__58);
  des_single__11_sbox_in__0__3 = (key__33) ^ (plaintext__50);
  des_single__11_sbox_in__0__4 = (key__59) ^ (plaintext__42);
  des_single__11_sbox_in__0__5 = (key__19) ^ (plaintext__34);
  des_single__11_sbox_in__0__6 = (key__52) ^ (plaintext__26);
  sbox__0(des_single__11_sbox_in__0__1,des_single__11_sbox_in__0__2,des_single__11_sbox_in__0__3,des_single__11_sbox_in__0__4,des_single__11_sbox_in__0__5,des_single__11_sbox_in__0__6,&des_single__11_sbox_out__0__1,&des_single__11_sbox_out__0__2,&des_single__11_sbox_out__0__3,&des_single__11_sbox_out__0__4);
  plaintext__59 = (des_single__11_sbox_out__0__1) ^ (plaintext__59);
  plaintext__61 = (des_single__11_sbox_out__0__2) ^ (plaintext__61);
  plaintext__13 = (des_single__11_sbox_out__0__3) ^ (plaintext__13);
  plaintext__15 = (des_single__11_sbox_out__0__4) ^ (plaintext__15);
  des_single__11_sbox_in__1__1 = (key__3) ^ (plaintext__34);
  des_single__11_sbox_in__1__2 = (key__27) ^ (plaintext__26);
  des_single__11_sbox_in__1__3 = (key__1) ^ (plaintext__18);
  des_single__11_sbox_in__1__4 = (key__44) ^ (plaintext__10);
  des_single__11_sbox_in__1__5 = (key__18) ^ (plaintext__2);
  des_single__11_sbox_in__1__6 = (key__41) ^ (plaintext__60);
  sbox__1(des_single__11_sbox_in__1__1,des_single__11_sbox_in__1__2,des_single__11_sbox_in__1__3,des_single__11_sbox_in__1__4,des_single__11_sbox_in__1__5,des_single__11_sbox_in__1__6,&des_single__11_sbox_out__1__1,&des_single__11_sbox_out__1__2,&des_single__11_sbox_out__1__3,&des_single__11_sbox_out__1__4);
  plaintext__27 = (des_single__11_sbox_out__1__1) ^ (plaintext__27);
  plaintext__39 = (des_single__11_sbox_out__1__2) ^ (plaintext__39);
  plaintext__49 = (des_single__11_sbox_out__1__3) ^ (plaintext__49);
  plaintext__53 = (des_single__11_sbox_out__1__4) ^ (plaintext__53);
  des_single__11_sbox_in__2__1 = (key__2) ^ (plaintext__2);
  des_single__11_sbox_in__2__2 = (key__34) ^ (plaintext__60);
  des_single__11_sbox_in__2__3 = (key__25) ^ (plaintext__52);
  des_single__11_sbox_in__2__4 = (key__60) ^ (plaintext__44);
  des_single__11_sbox_in__2__5 = (key__43) ^ (plaintext__36);
  des_single__11_sbox_in__2__6 = (key__57) ^ (plaintext__28);
  sbox__2(des_single__11_sbox_in__2__1,des_single__11_sbox_in__2__2,des_single__11_sbox_in__2__3,des_single__11_sbox_in__2__4,des_single__11_sbox_in__2__5,des_single__11_sbox_in__2__6,&des_single__11_sbox_out__2__1,&des_single__11_sbox_out__2__2,&des_single__11_sbox_out__2__3,&des_single__11_sbox_out__2__4);
  plaintext__5 = (des_single__11_sbox_out__2__1) ^ (plaintext__5);
  plaintext__3 = (des_single__11_sbox_out__2__2) ^ (plaintext__3);
  plaintext__23 = (des_single__11_sbox_out__2__3) ^ (plaintext__23);
  plaintext__17 = (des_single__11_sbox_out__2__4) ^ (plaintext__17);
  des_single__11_sbox_in__3__1 = (key__58) ^ (plaintext__36);
  des_single__11_sbox_in__3__2 = (key__36) ^ (plaintext__28);
  des_single__11_sbox_in__3__3 = (key__35) ^ (plaintext__20);
  des_single__11_sbox_in__3__4 = (key__26) ^ (plaintext__12);
  des_single__11_sbox_in__3__5 = (key__17) ^ (plaintext__4);
  des_single__11_sbox_in__3__6 = (key__11) ^ (plaintext__62);
  sbox__3(des_single__11_sbox_in__3__1,des_single__11_sbox_in__3__2,des_single__11_sbox_in__3__3,des_single__11_sbox_in__3__4,des_single__11_sbox_in__3__5,des_single__11_sbox_in__3__6,&des_single__11_sbox_out__3__1,&des_single__11_sbox_out__3__2,&des_single__11_sbox_out__3__3,&des_single__11_sbox_out__3__4);
  plaintext__55 = (des_single__11_sbox_out__3__1) ^ (plaintext__55);
  plaintext__37 = (des_single__11_sbox_out__3__2) ^ (plaintext__37);
  plaintext__51 = (des_single__11_sbox_out__3__3) ^ (plaintext__51);
  plaintext__57 = (des_single__11_sbox_out__3__4) ^ (plaintext__57);
  des_single__11_sbox_in__4__1 = (key__23) ^ (plaintext__4);
  des_single__11_sbox_in__4__2 = (key__61) ^ (plaintext__62);
  des_single__11_sbox_in__4__3 = (key__5) ^ (plaintext__54);
  des_single__11_sbox_in__4__4 = (key__55) ^ (plaintext__46);
  des_single__11_sbox_in__4__5 = (key__38) ^ (plaintext__38);
  des_single__11_sbox_in__4__6 = (key__37) ^ (plaintext__30);
  sbox__4(des_single__11_sbox_in__4__1,des_single__11_sbox_in__4__2,des_single__11_sbox_in__4__3,des_single__11_sbox_in__4__4,des_single__11_sbox_in__4__5,des_single__11_sbox_in__4__6,&des_single__11_sbox_out__4__1,&des_single__11_sbox_out__4__2,&des_single__11_sbox_out__4__3,&des_single__11_sbox_out__4__4);
  plaintext__1 = (des_single__11_sbox_out__4__1) ^ (plaintext__1);
  plaintext__19 = (des_single__11_sbox_out__4__2) ^ (plaintext__19);
  plaintext__63 = (des_single__11_sbox_out__4__3) ^ (plaintext__63);
  plaintext__41 = (des_single__11_sbox_out__4__4) ^ (plaintext__41);
  des_single__11_sbox_in__5__1 = (key__13) ^ (plaintext__38);
  des_single__11_sbox_in__5__2 = (key__31) ^ (plaintext__30);
  des_single__11_sbox_in__5__3 = (key__6) ^ (plaintext__22);
  des_single__11_sbox_in__5__4 = (key__54) ^ (plaintext__14);
  des_single__11_sbox_in__5__5 = (key__20) ^ (plaintext__6);
  des_single__11_sbox_in__5__6 = (key__30) ^ (plaintext__64);
  sbox__5(des_single__11_sbox_in__5__1,des_single__11_sbox_in__5__2,des_single__11_sbox_in__5__3,des_single__11_sbox_in__5__4,des_single__11_sbox_in__5__5,des_single__11_sbox_in__5__6,&des_single__11_sbox_out__5__1,&des_single__11_sbox_out__5__2,&des_single__11_sbox_out__5__3,&des_single__11_sbox_out__5__4);
  plaintext__33 = (des_single__11_sbox_out__5__1) ^ (plaintext__33);
  plaintext__31 = (des_single__11_sbox_out__5__2) ^ (plaintext__31);
  plaintext__43 = (des_single__11_sbox_out__5__3) ^ (plaintext__43);
  plaintext__45 = (des_single__11_sbox_out__5__4) ^ (plaintext__45);
  des_single__11_sbox_in__6__1 = (key__62) ^ (plaintext__6);
  des_single__11_sbox_in__6__2 = (key__22) ^ (plaintext__64);
  des_single__11_sbox_in__6__3 = (key__39) ^ (plaintext__56);
  des_single__11_sbox_in__6__4 = (key__29) ^ (plaintext__48);
  des_single__11_sbox_in__6__5 = (key__12) ^ (plaintext__40);
  des_single__11_sbox_in__6__6 = (key__53) ^ (plaintext__32);
  sbox__6(des_single__11_sbox_in__6__1,des_single__11_sbox_in__6__2,des_single__11_sbox_in__6__3,des_single__11_sbox_in__6__4,des_single__11_sbox_in__6__5,des_single__11_sbox_in__6__6,&des_single__11_sbox_out__6__1,&des_single__11_sbox_out__6__2,&des_single__11_sbox_out__6__3,&des_single__11_sbox_out__6__4);
  plaintext__7 = (des_single__11_sbox_out__6__1) ^ (plaintext__7);
  plaintext__35 = (des_single__11_sbox_out__6__2) ^ (plaintext__35);
  plaintext__21 = (des_single__11_sbox_out__6__3) ^ (plaintext__21);
  plaintext__9 = (des_single__11_sbox_out__6__4) ^ (plaintext__9);
  des_single__11_sbox_in__7__1 = (key__46) ^ (plaintext__40);
  des_single__11_sbox_in__7__2 = (key__15) ^ (plaintext__32);
  des_single__11_sbox_in__7__3 = (key__14) ^ (plaintext__24);
  des_single__11_sbox_in__7__4 = (key__63) ^ (plaintext__16);
  des_single__11_sbox_in__7__5 = (key__21) ^ (plaintext__8);
  des_single__11_sbox_in__7__6 = (key__28) ^ (plaintext__58);
  sbox__7(des_single__11_sbox_in__7__1,des_single__11_sbox_in__7__2,des_single__11_sbox_in__7__3,des_single__11_sbox_in__7__4,des_single__11_sbox_in__7__5,des_single__11_sbox_in__7__6,&des_single__11_sbox_out__7__1,&des_single__11_sbox_out__7__2,&des_single__11_sbox_out__7__3,&des_single__11_sbox_out__7__4);
  plaintext__25 = (des_single__11_sbox_out__7__1) ^ (plaintext__25);
  plaintext__47 = (des_single__11_sbox_out__7__2) ^ (plaintext__47);
  plaintext__11 = (des_single__11_sbox_out__7__3) ^ (plaintext__11);
  plaintext__29 = (des_single__11_sbox_out__7__4) ^ (plaintext__29);
  des_single__12_sbox_in__0__1 = (key__58) ^ (plaintext__7);
  des_single__12_sbox_in__0__2 = (key__34) ^ (plaintext__57);
  des_single__12_sbox_in__0__3 = (key__17) ^ (plaintext__49);
  des_single__12_sbox_in__0__4 = (key__43) ^ (plaintext__41);
  des_single__12_sbox_in__0__5 = (key__3) ^ (plaintext__33);
  des_single__12_sbox_in__0__6 = (key__36) ^ (plaintext__25);
  sbox__0(des_single__12_sbox_in__0__1,des_single__12_sbox_in__0__2,des_single__12_sbox_in__0__3,des_single__12_sbox_in__0__4,des_single__12_sbox_in__0__5,des_single__12_sbox_in__0__6,&des_single__12_sbox_out__0__1,&des_single__12_sbox_out__0__2,&des_single__12_sbox_out__0__3,&des_single__12_sbox_out__0__4);
  plaintext__60 = (des_single__12_sbox_out__0__1) ^ (plaintext__60);
  plaintext__62 = (des_single__12_sbox_out__0__2) ^ (plaintext__62);
  plaintext__14 = (des_single__12_sbox_out__0__3) ^ (plaintext__14);
  plaintext__16 = (des_single__12_sbox_out__0__4) ^ (plaintext__16);
  des_single__12_sbox_in__1__1 = (key__52) ^ (plaintext__33);
  des_single__12_sbox_in__1__2 = (key__11) ^ (plaintext__25);
  des_single__12_sbox_in__1__3 = (key__50) ^ (plaintext__17);
  des_single__12_sbox_in__1__4 = (key__57) ^ (plaintext__9);
  des_single__12_sbox_in__1__5 = (key__2) ^ (plaintext__1);
  des_single__12_sbox_in__1__6 = (key__25) ^ (plaintext__59);
  sbox__1(des_single__12_sbox_in__1__1,des_single__12_sbox_in__1__2,des_single__12_sbox_in__1__3,des_single__12_sbox_in__1__4,des_single__12_sbox_in__1__5,des_single__12_sbox_in__1__6,&des_single__12_sbox_out__1__1,&des_single__12_sbox_out__1__2,&des_single__12_sbox_out__1__3,&des_single__12_sbox_out__1__4);
  plaintext__28 = (des_single__12_sbox_out__1__1) ^ (plaintext__28);
  plaintext__40 = (des_single__12_sbox_out__1__2) ^ (plaintext__40);
  plaintext__50 = (des_single__12_sbox_out__1__3) ^ (plaintext__50);
  plaintext__54 = (des_single__12_sbox_out__1__4) ^ (plaintext__54);
  des_single__12_sbox_in__2__1 = (key__51) ^ (plaintext__1);
  des_single__12_sbox_in__2__2 = (key__18) ^ (plaintext__59);
  des_single__12_sbox_in__2__3 = (key__9) ^ (plaintext__51);
  des_single__12_sbox_in__2__4 = (key__44) ^ (plaintext__43);
  des_single__12_sbox_in__2__5 = (key__27) ^ (plaintext__35);
  des_single__12_sbox_in__2__6 = (key__41) ^ (plaintext__27);
  sbox__2(des_single__12_sbox_in__2__1,des_single__12_sbox_in__2__2,des_single__12_sbox_in__2__3,des_single__12_sbox_in__2__4,des_single__12_sbox_in__2__5,des_single__12_sbox_in__2__6,&des_single__12_sbox_out__2__1,&des_single__12_sbox_out__2__2,&des_single__12_sbox_out__2__3,&des_single__12_sbox_out__2__4);
  plaintext__6 = (des_single__12_sbox_out__2__1) ^ (plaintext__6);
  plaintext__4 = (des_single__12_sbox_out__2__2) ^ (plaintext__4);
  plaintext__24 = (des_single__12_sbox_out__2__3) ^ (plaintext__24);
  plaintext__18 = (des_single__12_sbox_out__2__4) ^ (plaintext__18);
  des_single__12_sbox_in__3__1 = (key__42) ^ (plaintext__35);
  des_single__12_sbox_in__3__2 = (key__49) ^ (plaintext__27);
  des_single__12_sbox_in__3__3 = (key__19) ^ (plaintext__19);
  des_single__12_sbox_in__3__4 = (key__10) ^ (plaintext__11);
  des_single__12_sbox_in__3__5 = (key__1) ^ (plaintext__3);
  des_single__12_sbox_in__3__6 = (key__60) ^ (plaintext__61);
  sbox__3(des_single__12_sbox_in__3__1,des_single__12_sbox_in__3__2,des_single__12_sbox_in__3__3,des_single__12_sbox_in__3__4,des_single__12_sbox_in__3__5,des_single__12_sbox_in__3__6,&des_single__12_sbox_out__3__1,&des_single__12_sbox_out__3__2,&des_single__12_sbox_out__3__3,&des_single__12_sbox_out__3__4);
  plaintext__56 = (des_single__12_sbox_out__3__1) ^ (plaintext__56);
  plaintext__38 = (des_single__12_sbox_out__3__2) ^ (plaintext__38);
  plaintext__52 = (des_single__12_sbox_out__3__3) ^ (plaintext__52);
  plaintext__58 = (des_single__12_sbox_out__3__4) ^ (plaintext__58);
  des_single__12_sbox_in__4__1 = (key__7) ^ (plaintext__3);
  des_single__12_sbox_in__4__2 = (key__45) ^ (plaintext__61);
  des_single__12_sbox_in__4__3 = (key__20) ^ (plaintext__53);
  des_single__12_sbox_in__4__4 = (key__39) ^ (plaintext__45);
  des_single__12_sbox_in__4__5 = (key__22) ^ (plaintext__37);
  des_single__12_sbox_in__4__6 = (key__21) ^ (plaintext__29);
  sbox__4(des_single__12_sbox_in__4__1,des_single__12_sbox_in__4__2,des_single__12_sbox_in__4__3,des_single__12_sbox_in__4__4,des_single__12_sbox_in__4__5,des_single__12_sbox_in__4__6,&des_single__12_sbox_out__4__1,&des_single__12_sbox_out__4__2,&des_single__12_sbox_out__4__3,&des_single__12_sbox_out__4__4);
  plaintext__2 = (des_single__12_sbox_out__4__1) ^ (plaintext__2);
  plaintext__20 = (des_single__12_sbox_out__4__2) ^ (plaintext__20);
  plaintext__64 = (des_single__12_sbox_out__4__3) ^ (plaintext__64);
  plaintext__42 = (des_single__12_sbox_out__4__4) ^ (plaintext__42);
  des_single__12_sbox_in__5__1 = (key__28) ^ (plaintext__37);
  des_single__12_sbox_in__5__2 = (key__15) ^ (plaintext__29);
  des_single__12_sbox_in__5__3 = (key__53) ^ (plaintext__21);
  des_single__12_sbox_in__5__4 = (key__38) ^ (plaintext__13);
  des_single__12_sbox_in__5__5 = (key__4) ^ (plaintext__5);
  des_single__12_sbox_in__5__6 = (key__14) ^ (plaintext__63);
  sbox__5(des_single__12_sbox_in__5__1,des_single__12_sbox_in__5__2,des_single__12_sbox_in__5__3,des_single__12_sbox_in__5__4,des_single__12_sbox_in__5__5,des_single__12_sbox_in__5__6,&des_single__12_sbox_out__5__1,&des_single__12_sbox_out__5__2,&des_single__12_sbox_out__5__3,&des_single__12_sbox_out__5__4);
  plaintext__34 = (des_single__12_sbox_out__5__1) ^ (plaintext__34);
  plaintext__32 = (des_single__12_sbox_out__5__2) ^ (plaintext__32);
  plaintext__44 = (des_single__12_sbox_out__5__3) ^ (plaintext__44);
  plaintext__46 = (des_single__12_sbox_out__5__4) ^ (plaintext__46);
  des_single__12_sbox_in__6__1 = (key__46) ^ (plaintext__5);
  des_single__12_sbox_in__6__2 = (key__6) ^ (plaintext__63);
  des_single__12_sbox_in__6__3 = (key__23) ^ (plaintext__55);
  des_single__12_sbox_in__6__4 = (key__13) ^ (plaintext__47);
  des_single__12_sbox_in__6__5 = (key__63) ^ (plaintext__39);
  des_single__12_sbox_in__6__6 = (key__37) ^ (plaintext__31);
  sbox__6(des_single__12_sbox_in__6__1,des_single__12_sbox_in__6__2,des_single__12_sbox_in__6__3,des_single__12_sbox_in__6__4,des_single__12_sbox_in__6__5,des_single__12_sbox_in__6__6,&des_single__12_sbox_out__6__1,&des_single__12_sbox_out__6__2,&des_single__12_sbox_out__6__3,&des_single__12_sbox_out__6__4);
  plaintext__8 = (des_single__12_sbox_out__6__1) ^ (plaintext__8);
  plaintext__36 = (des_single__12_sbox_out__6__2) ^ (plaintext__36);
  plaintext__22 = (des_single__12_sbox_out__6__3) ^ (plaintext__22);
  plaintext__10 = (des_single__12_sbox_out__6__4) ^ (plaintext__10);
  des_single__12_sbox_in__7__1 = (key__30) ^ (plaintext__39);
  des_single__12_sbox_in__7__2 = (key__62) ^ (plaintext__31);
  des_single__12_sbox_in__7__3 = (key__61) ^ (plaintext__23);
  des_single__12_sbox_in__7__4 = (key__47) ^ (plaintext__15);
  des_single__12_sbox_in__7__5 = (key__5) ^ (plaintext__7);
  des_single__12_sbox_in__7__6 = (key__12) ^ (plaintext__57);
  sbox__7(des_single__12_sbox_in__7__1,des_single__12_sbox_in__7__2,des_single__12_sbox_in__7__3,des_single__12_sbox_in__7__4,des_single__12_sbox_in__7__5,des_single__12_sbox_in__7__6,&des_single__12_sbox_out__7__1,&des_single__12_sbox_out__7__2,&des_single__12_sbox_out__7__3,&des_single__12_sbox_out__7__4);
  plaintext__26 = (des_single__12_sbox_out__7__1) ^ (plaintext__26);
  plaintext__48 = (des_single__12_sbox_out__7__2) ^ (plaintext__48);
  plaintext__12 = (des_single__12_sbox_out__7__3) ^ (plaintext__12);
  plaintext__30 = (des_single__12_sbox_out__7__4) ^ (plaintext__30);
  des_single__13_sbox_in__0__1 = (key__42) ^ (plaintext__8);
  des_single__13_sbox_in__0__2 = (key__18) ^ (plaintext__58);
  des_single__13_sbox_in__0__3 = (key__1) ^ (plaintext__50);
  des_single__13_sbox_in__0__4 = (key__27) ^ (plaintext__42);
  des_single__13_sbox_in__0__5 = (key__52) ^ (plaintext__34);
  des_single__13_sbox_in__0__6 = (key__49) ^ (plaintext__26);
  sbox__0(des_single__13_sbox_in__0__1,des_single__13_sbox_in__0__2,des_single__13_sbox_in__0__3,des_single__13_sbox_in__0__4,des_single__13_sbox_in__0__5,des_single__13_sbox_in__0__6,&des_single__13_sbox_out__0__1,&des_single__13_sbox_out__0__2,&des_single__13_sbox_out__0__3,&des_single__13_sbox_out__0__4);
  plaintext__59 = (des_single__13_sbox_out__0__1) ^ (plaintext__59);
  plaintext__61 = (des_single__13_sbox_out__0__2) ^ (plaintext__61);
  plaintext__13 = (des_single__13_sbox_out__0__3) ^ (plaintext__13);
  plaintext__15 = (des_single__13_sbox_out__0__4) ^ (plaintext__15);
  des_single__13_sbox_in__1__1 = (key__36) ^ (plaintext__34);
  des_single__13_sbox_in__1__2 = (key__60) ^ (plaintext__26);
  des_single__13_sbox_in__1__3 = (key__34) ^ (plaintext__18);
  des_single__13_sbox_in__1__4 = (key__41) ^ (plaintext__10);
  des_single__13_sbox_in__1__5 = (key__51) ^ (plaintext__2);
  des_single__13_sbox_in__1__6 = (key__9) ^ (plaintext__60);
  sbox__1(des_single__13_sbox_in__1__1,des_single__13_sbox_in__1__2,des_single__13_sbox_in__1__3,des_single__13_sbox_in__1__4,des_single__13_sbox_in__1__5,des_single__13_sbox_in__1__6,&des_single__13_sbox_out__1__1,&des_single__13_sbox_out__1__2,&des_single__13_sbox_out__1__3,&des_single__13_sbox_out__1__4);
  plaintext__27 = (des_single__13_sbox_out__1__1) ^ (plaintext__27);
  plaintext__39 = (des_single__13_sbox_out__1__2) ^ (plaintext__39);
  plaintext__49 = (des_single__13_sbox_out__1__3) ^ (plaintext__49);
  plaintext__53 = (des_single__13_sbox_out__1__4) ^ (plaintext__53);
  des_single__13_sbox_in__2__1 = (key__35) ^ (plaintext__2);
  des_single__13_sbox_in__2__2 = (key__2) ^ (plaintext__60);
  des_single__13_sbox_in__2__3 = (key__58) ^ (plaintext__52);
  des_single__13_sbox_in__2__4 = (key__57) ^ (plaintext__44);
  des_single__13_sbox_in__2__5 = (key__11) ^ (plaintext__36);
  des_single__13_sbox_in__2__6 = (key__25) ^ (plaintext__28);
  sbox__2(des_single__13_sbox_in__2__1,des_single__13_sbox_in__2__2,des_single__13_sbox_in__2__3,des_single__13_sbox_in__2__4,des_single__13_sbox_in__2__5,des_single__13_sbox_in__2__6,&des_single__13_sbox_out__2__1,&des_single__13_sbox_out__2__2,&des_single__13_sbox_out__2__3,&des_single__13_sbox_out__2__4);
  plaintext__5 = (des_single__13_sbox_out__2__1) ^ (plaintext__5);
  plaintext__3 = (des_single__13_sbox_out__2__2) ^ (plaintext__3);
  plaintext__23 = (des_single__13_sbox_out__2__3) ^ (plaintext__23);
  plaintext__17 = (des_single__13_sbox_out__2__4) ^ (plaintext__17);
  des_single__13_sbox_in__3__1 = (key__26) ^ (plaintext__36);
  des_single__13_sbox_in__3__2 = (key__33) ^ (plaintext__28);
  des_single__13_sbox_in__3__3 = (key__3) ^ (plaintext__20);
  des_single__13_sbox_in__3__4 = (key__59) ^ (plaintext__12);
  des_single__13_sbox_in__3__5 = (key__50) ^ (plaintext__4);
  des_single__13_sbox_in__3__6 = (key__44) ^ (plaintext__62);
  sbox__3(des_single__13_sbox_in__3__1,des_single__13_sbox_in__3__2,des_single__13_sbox_in__3__3,des_single__13_sbox_in__3__4,des_single__13_sbox_in__3__5,des_single__13_sbox_in__3__6,&des_single__13_sbox_out__3__1,&des_single__13_sbox_out__3__2,&des_single__13_sbox_out__3__3,&des_single__13_sbox_out__3__4);
  plaintext__55 = (des_single__13_sbox_out__3__1) ^ (plaintext__55);
  plaintext__37 = (des_single__13_sbox_out__3__2) ^ (plaintext__37);
  plaintext__51 = (des_single__13_sbox_out__3__3) ^ (plaintext__51);
  plaintext__57 = (des_single__13_sbox_out__3__4) ^ (plaintext__57);
  des_single__13_sbox_in__4__1 = (key__54) ^ (plaintext__4);
  des_single__13_sbox_in__4__2 = (key__29) ^ (plaintext__62);
  des_single__13_sbox_in__4__3 = (key__4) ^ (plaintext__54);
  des_single__13_sbox_in__4__4 = (key__23) ^ (plaintext__46);
  des_single__13_sbox_in__4__5 = (key__6) ^ (plaintext__38);
  des_single__13_sbox_in__4__6 = (key__5) ^ (plaintext__30);
  sbox__4(des_single__13_sbox_in__4__1,des_single__13_sbox_in__4__2,des_single__13_sbox_in__4__3,des_single__13_sbox_in__4__4,des_single__13_sbox_in__4__5,des_single__13_sbox_in__4__6,&des_single__13_sbox_out__4__1,&des_single__13_sbox_out__4__2,&des_single__13_sbox_out__4__3,&des_single__13_sbox_out__4__4);
  plaintext__1 = (des_single__13_sbox_out__4__1) ^ (plaintext__1);
  plaintext__19 = (des_single__13_sbox_out__4__2) ^ (plaintext__19);
  plaintext__63 = (des_single__13_sbox_out__4__3) ^ (plaintext__63);
  plaintext__41 = (des_single__13_sbox_out__4__4) ^ (plaintext__41);
  des_single__13_sbox_in__5__1 = (key__12) ^ (plaintext__38);
  des_single__13_sbox_in__5__2 = (key__62) ^ (plaintext__30);
  des_single__13_sbox_in__5__3 = (key__37) ^ (plaintext__22);
  des_single__13_sbox_in__5__4 = (key__22) ^ (plaintext__14);
  des_single__13_sbox_in__5__5 = (key__55) ^ (plaintext__6);
  des_single__13_sbox_in__5__6 = (key__61) ^ (plaintext__64);
  sbox__5(des_single__13_sbox_in__5__1,des_single__13_sbox_in__5__2,des_single__13_sbox_in__5__3,des_single__13_sbox_in__5__4,des_single__13_sbox_in__5__5,des_single__13_sbox_in__5__6,&des_single__13_sbox_out__5__1,&des_single__13_sbox_out__5__2,&des_single__13_sbox_out__5__3,&des_single__13_sbox_out__5__4);
  plaintext__33 = (des_single__13_sbox_out__5__1) ^ (plaintext__33);
  plaintext__31 = (des_single__13_sbox_out__5__2) ^ (plaintext__31);
  plaintext__43 = (des_single__13_sbox_out__5__3) ^ (plaintext__43);
  plaintext__45 = (des_single__13_sbox_out__5__4) ^ (plaintext__45);
  des_single__13_sbox_in__6__1 = (key__30) ^ (plaintext__6);
  des_single__13_sbox_in__6__2 = (key__53) ^ (plaintext__64);
  des_single__13_sbox_in__6__3 = (key__7) ^ (plaintext__56);
  des_single__13_sbox_in__6__4 = (key__28) ^ (plaintext__48);
  des_single__13_sbox_in__6__5 = (key__47) ^ (plaintext__40);
  des_single__13_sbox_in__6__6 = (key__21) ^ (plaintext__32);
  sbox__6(des_single__13_sbox_in__6__1,des_single__13_sbox_in__6__2,des_single__13_sbox_in__6__3,des_single__13_sbox_in__6__4,des_single__13_sbox_in__6__5,des_single__13_sbox_in__6__6,&des_single__13_sbox_out__6__1,&des_single__13_sbox_out__6__2,&des_single__13_sbox_out__6__3,&des_single__13_sbox_out__6__4);
  plaintext__7 = (des_single__13_sbox_out__6__1) ^ (plaintext__7);
  plaintext__35 = (des_single__13_sbox_out__6__2) ^ (plaintext__35);
  plaintext__21 = (des_single__13_sbox_out__6__3) ^ (plaintext__21);
  plaintext__9 = (des_single__13_sbox_out__6__4) ^ (plaintext__9);
  des_single__13_sbox_in__7__1 = (key__14) ^ (plaintext__40);
  des_single__13_sbox_in__7__2 = (key__46) ^ (plaintext__32);
  des_single__13_sbox_in__7__3 = (key__45) ^ (plaintext__24);
  des_single__13_sbox_in__7__4 = (key__31) ^ (plaintext__16);
  des_single__13_sbox_in__7__5 = (key__20) ^ (plaintext__8);
  des_single__13_sbox_in__7__6 = (key__63) ^ (plaintext__58);
  sbox__7(des_single__13_sbox_in__7__1,des_single__13_sbox_in__7__2,des_single__13_sbox_in__7__3,des_single__13_sbox_in__7__4,des_single__13_sbox_in__7__5,des_single__13_sbox_in__7__6,&des_single__13_sbox_out__7__1,&des_single__13_sbox_out__7__2,&des_single__13_sbox_out__7__3,&des_single__13_sbox_out__7__4);
  plaintext__25 = (des_single__13_sbox_out__7__1) ^ (plaintext__25);
  plaintext__47 = (des_single__13_sbox_out__7__2) ^ (plaintext__47);
  plaintext__11 = (des_single__13_sbox_out__7__3) ^ (plaintext__11);
  plaintext__29 = (des_single__13_sbox_out__7__4) ^ (plaintext__29);
  des_single__14_sbox_in__0__1 = (key__26) ^ (plaintext__7);
  des_single__14_sbox_in__0__2 = (key__2) ^ (plaintext__57);
  des_single__14_sbox_in__0__3 = (key__50) ^ (plaintext__49);
  des_single__14_sbox_in__0__4 = (key__11) ^ (plaintext__41);
  des_single__14_sbox_in__0__5 = (key__36) ^ (plaintext__33);
  des_single__14_sbox_in__0__6 = (key__33) ^ (plaintext__25);
  sbox__0(des_single__14_sbox_in__0__1,des_single__14_sbox_in__0__2,des_single__14_sbox_in__0__3,des_single__14_sbox_in__0__4,des_single__14_sbox_in__0__5,des_single__14_sbox_in__0__6,&des_single__14_sbox_out__0__1,&des_single__14_sbox_out__0__2,&des_single__14_sbox_out__0__3,&des_single__14_sbox_out__0__4);
  plaintext__60 = (des_single__14_sbox_out__0__1) ^ (plaintext__60);
  output[58] = plaintext__60;
  plaintext__62 = (des_single__14_sbox_out__0__2) ^ (plaintext__62);
  output[60] = plaintext__62;
  plaintext__14 = (des_single__14_sbox_out__0__3) ^ (plaintext__14);
  output[12] = plaintext__14;
  plaintext__16 = (des_single__14_sbox_out__0__4) ^ (plaintext__16);
  output[14] = plaintext__16;
  des_single__14_sbox_in__1__1 = (key__49) ^ (plaintext__33);
  des_single__14_sbox_in__1__2 = (key__44) ^ (plaintext__25);
  des_single__14_sbox_in__1__3 = (key__18) ^ (plaintext__17);
  des_single__14_sbox_in__1__4 = (key__25) ^ (plaintext__9);
  des_single__14_sbox_in__1__5 = (key__35) ^ (plaintext__1);
  des_single__14_sbox_in__1__6 = (key__58) ^ (plaintext__59);
  sbox__1(des_single__14_sbox_in__1__1,des_single__14_sbox_in__1__2,des_single__14_sbox_in__1__3,des_single__14_sbox_in__1__4,des_single__14_sbox_in__1__5,des_single__14_sbox_in__1__6,&des_single__14_sbox_out__1__1,&des_single__14_sbox_out__1__2,&des_single__14_sbox_out__1__3,&des_single__14_sbox_out__1__4);
  plaintext__28 = (des_single__14_sbox_out__1__1) ^ (plaintext__28);
  output[26] = plaintext__28;
  plaintext__40 = (des_single__14_sbox_out__1__2) ^ (plaintext__40);
  output[38] = plaintext__40;
  plaintext__50 = (des_single__14_sbox_out__1__3) ^ (plaintext__50);
  output[48] = plaintext__50;
  plaintext__54 = (des_single__14_sbox_out__1__4) ^ (plaintext__54);
  output[52] = plaintext__54;
  des_single__14_sbox_in__2__1 = (key__19) ^ (plaintext__1);
  des_single__14_sbox_in__2__2 = (key__51) ^ (plaintext__59);
  des_single__14_sbox_in__2__3 = (key__42) ^ (plaintext__51);
  des_single__14_sbox_in__2__4 = (key__41) ^ (plaintext__43);
  des_single__14_sbox_in__2__5 = (key__60) ^ (plaintext__35);
  des_single__14_sbox_in__2__6 = (key__9) ^ (plaintext__27);
  sbox__2(des_single__14_sbox_in__2__1,des_single__14_sbox_in__2__2,des_single__14_sbox_in__2__3,des_single__14_sbox_in__2__4,des_single__14_sbox_in__2__5,des_single__14_sbox_in__2__6,&des_single__14_sbox_out__2__1,&des_single__14_sbox_out__2__2,&des_single__14_sbox_out__2__3,&des_single__14_sbox_out__2__4);
  plaintext__6 = (des_single__14_sbox_out__2__1) ^ (plaintext__6);
  output[4] = plaintext__6;
  plaintext__4 = (des_single__14_sbox_out__2__2) ^ (plaintext__4);
  output[2] = plaintext__4;
  plaintext__24 = (des_single__14_sbox_out__2__3) ^ (plaintext__24);
  output[22] = plaintext__24;
  plaintext__18 = (des_single__14_sbox_out__2__4) ^ (plaintext__18);
  output[16] = plaintext__18;
  des_single__14_sbox_in__3__1 = (key__10) ^ (plaintext__35);
  des_single__14_sbox_in__3__2 = (key__17) ^ (plaintext__27);
  des_single__14_sbox_in__3__3 = (key__52) ^ (plaintext__19);
  des_single__14_sbox_in__3__4 = (key__43) ^ (plaintext__11);
  des_single__14_sbox_in__3__5 = (key__34) ^ (plaintext__3);
  des_single__14_sbox_in__3__6 = (key__57) ^ (plaintext__61);
  sbox__3(des_single__14_sbox_in__3__1,des_single__14_sbox_in__3__2,des_single__14_sbox_in__3__3,des_single__14_sbox_in__3__4,des_single__14_sbox_in__3__5,des_single__14_sbox_in__3__6,&des_single__14_sbox_out__3__1,&des_single__14_sbox_out__3__2,&des_single__14_sbox_out__3__3,&des_single__14_sbox_out__3__4);
  plaintext__56 = (des_single__14_sbox_out__3__1) ^ (plaintext__56);
  output[54] = plaintext__56;
  plaintext__38 = (des_single__14_sbox_out__3__2) ^ (plaintext__38);
  output[36] = plaintext__38;
  plaintext__52 = (des_single__14_sbox_out__3__3) ^ (plaintext__52);
  output[50] = plaintext__52;
  plaintext__58 = (des_single__14_sbox_out__3__4) ^ (plaintext__58);
  output[56] = plaintext__58;
  des_single__14_sbox_in__4__1 = (key__38) ^ (plaintext__3);
  des_single__14_sbox_in__4__2 = (key__13) ^ (plaintext__61);
  des_single__14_sbox_in__4__3 = (key__55) ^ (plaintext__53);
  des_single__14_sbox_in__4__4 = (key__7) ^ (plaintext__45);
  des_single__14_sbox_in__4__5 = (key__53) ^ (plaintext__37);
  des_single__14_sbox_in__4__6 = (key__20) ^ (plaintext__29);
  sbox__4(des_single__14_sbox_in__4__1,des_single__14_sbox_in__4__2,des_single__14_sbox_in__4__3,des_single__14_sbox_in__4__4,des_single__14_sbox_in__4__5,des_single__14_sbox_in__4__6,&des_single__14_sbox_out__4__1,&des_single__14_sbox_out__4__2,&des_single__14_sbox_out__4__3,&des_single__14_sbox_out__4__4);
  plaintext__2 = (des_single__14_sbox_out__4__1) ^ (plaintext__2);
  output[0] = plaintext__2;
  plaintext__20 = (des_single__14_sbox_out__4__2) ^ (plaintext__20);
  output[18] = plaintext__20;
  plaintext__64 = (des_single__14_sbox_out__4__3) ^ (plaintext__64);
  output[62] = plaintext__64;
  plaintext__42 = (des_single__14_sbox_out__4__4) ^ (plaintext__42);
  output[40] = plaintext__42;
  des_single__14_sbox_in__5__1 = (key__63) ^ (plaintext__37);
  des_single__14_sbox_in__5__2 = (key__46) ^ (plaintext__29);
  des_single__14_sbox_in__5__3 = (key__21) ^ (plaintext__21);
  des_single__14_sbox_in__5__4 = (key__6) ^ (plaintext__13);
  des_single__14_sbox_in__5__5 = (key__39) ^ (plaintext__5);
  des_single__14_sbox_in__5__6 = (key__45) ^ (plaintext__63);
  sbox__5(des_single__14_sbox_in__5__1,des_single__14_sbox_in__5__2,des_single__14_sbox_in__5__3,des_single__14_sbox_in__5__4,des_single__14_sbox_in__5__5,des_single__14_sbox_in__5__6,&des_single__14_sbox_out__5__1,&des_single__14_sbox_out__5__2,&des_single__14_sbox_out__5__3,&des_single__14_sbox_out__5__4);
  plaintext__34 = (des_single__14_sbox_out__5__1) ^ (plaintext__34);
  output[32] = plaintext__34;
  plaintext__32 = (des_single__14_sbox_out__5__2) ^ (plaintext__32);
  output[30] = plaintext__32;
  plaintext__44 = (des_single__14_sbox_out__5__3) ^ (plaintext__44);
  output[42] = plaintext__44;
  plaintext__46 = (des_single__14_sbox_out__5__4) ^ (plaintext__46);
  output[44] = plaintext__46;
  des_single__14_sbox_in__6__1 = (key__14) ^ (plaintext__5);
  des_single__14_sbox_in__6__2 = (key__37) ^ (plaintext__63);
  des_single__14_sbox_in__6__3 = (key__54) ^ (plaintext__55);
  des_single__14_sbox_in__6__4 = (key__12) ^ (plaintext__47);
  des_single__14_sbox_in__6__5 = (key__31) ^ (plaintext__39);
  des_single__14_sbox_in__6__6 = (key__5) ^ (plaintext__31);
  sbox__6(des_single__14_sbox_in__6__1,des_single__14_sbox_in__6__2,des_single__14_sbox_in__6__3,des_single__14_sbox_in__6__4,des_single__14_sbox_in__6__5,des_single__14_sbox_in__6__6,&des_single__14_sbox_out__6__1,&des_single__14_sbox_out__6__2,&des_single__14_sbox_out__6__3,&des_single__14_sbox_out__6__4);
  plaintext__8 = (des_single__14_sbox_out__6__1) ^ (plaintext__8);
  output[6] = plaintext__8;
  plaintext__36 = (des_single__14_sbox_out__6__2) ^ (plaintext__36);
  output[34] = plaintext__36;
  plaintext__22 = (des_single__14_sbox_out__6__3) ^ (plaintext__22);
  output[20] = plaintext__22;
  plaintext__10 = (des_single__14_sbox_out__6__4) ^ (plaintext__10);
  output[8] = plaintext__10; 
  des_single__14_sbox_in__7__1 = (key__61) ^ (plaintext__39);
  des_single__14_sbox_in__7__2 = (key__30) ^ (plaintext__31);
  des_single__14_sbox_in__7__3 = (key__29) ^ (plaintext__23);
  des_single__14_sbox_in__7__4 = (key__15) ^ (plaintext__15);
  des_single__14_sbox_in__7__5 = (key__4) ^ (plaintext__7);
  des_single__14_sbox_in__7__6 = (key__47) ^ (plaintext__57);
  sbox__7(des_single__14_sbox_in__7__1,des_single__14_sbox_in__7__2,des_single__14_sbox_in__7__3,des_single__14_sbox_in__7__4,des_single__14_sbox_in__7__5,des_single__14_sbox_in__7__6,&des_single__14_sbox_out__7__1,&des_single__14_sbox_out__7__2,&des_single__14_sbox_out__7__3,&des_single__14_sbox_out__7__4);
  plaintext__26 = (des_single__14_sbox_out__7__1) ^ (plaintext__26);
  output[24] = plaintext__26;
  plaintext__48 = (des_single__14_sbox_out__7__2) ^ (plaintext__48);
  output[46] = plaintext__48;
  plaintext__12 = (des_single__14_sbox_out__7__3) ^ (plaintext__12);
  output[10] = plaintext__12;
  plaintext__30 = (des_single__14_sbox_out__7__4) ^ (plaintext__30);
  output[28] = plaintext__30;
  des_single__15_sbox_in__0__1 = (key__18) ^ (plaintext__8);
  des_single__15_sbox_in__0__2 = (key__59) ^ (plaintext__58);
  des_single__15_sbox_in__0__3 = (key__42) ^ (plaintext__50);
  des_single__15_sbox_in__0__4 = (key__3) ^ (plaintext__42);
  des_single__15_sbox_in__0__5 = (key__57) ^ (plaintext__34);
  des_single__15_sbox_in__0__6 = (key__25) ^ (plaintext__26);
  sbox__0(des_single__15_sbox_in__0__1,des_single__15_sbox_in__0__2,des_single__15_sbox_in__0__3,des_single__15_sbox_in__0__4,des_single__15_sbox_in__0__5,des_single__15_sbox_in__0__6,&des_single__15_sbox_out__0__1,&des_single__15_sbox_out__0__2,&des_single__15_sbox_out__0__3,&des_single__15_sbox_out__0__4);
  output[59] = (des_single__15_sbox_out__0__1) ^ (plaintext__59);
  output[61] = (des_single__15_sbox_out__0__2) ^ (plaintext__61);
  output[13] = (des_single__15_sbox_out__0__3) ^ (plaintext__13);
  output[15] = (des_single__15_sbox_out__0__4) ^ (plaintext__15);
  des_single__15_sbox_in__1__1 = (key__41) ^ (plaintext__34);
  des_single__15_sbox_in__1__2 = (key__36) ^ (plaintext__26);
  des_single__15_sbox_in__1__3 = (key__10) ^ (plaintext__18);
  des_single__15_sbox_in__1__4 = (key__17) ^ (plaintext__10);
  des_single__15_sbox_in__1__5 = (key__27) ^ (plaintext__2);
  des_single__15_sbox_in__1__6 = (key__50) ^ (plaintext__60);
  sbox__1(des_single__15_sbox_in__1__1,des_single__15_sbox_in__1__2,des_single__15_sbox_in__1__3,des_single__15_sbox_in__1__4,des_single__15_sbox_in__1__5,des_single__15_sbox_in__1__6,&des_single__15_sbox_out__1__1,&des_single__15_sbox_out__1__2,&des_single__15_sbox_out__1__3,&des_single__15_sbox_out__1__4);
  output[27] = (des_single__15_sbox_out__1__1) ^ (plaintext__27);
  output[39] = (des_single__15_sbox_out__1__2) ^ (plaintext__39);
  output[49] = (des_single__15_sbox_out__1__3) ^ (plaintext__49);
  output[53] = (des_single__15_sbox_out__1__4) ^ (plaintext__53);
  des_single__15_sbox_in__2__1 = (key__11) ^ (plaintext__2);
  des_single__15_sbox_in__2__2 = (key__43) ^ (plaintext__60);
  des_single__15_sbox_in__2__3 = (key__34) ^ (plaintext__52);
  des_single__15_sbox_in__2__4 = (key__33) ^ (plaintext__44);
  des_single__15_sbox_in__2__5 = (key__52) ^ (plaintext__36);
  des_single__15_sbox_in__2__6 = (key__1) ^ (plaintext__28);
  sbox__2(des_single__15_sbox_in__2__1,des_single__15_sbox_in__2__2,des_single__15_sbox_in__2__3,des_single__15_sbox_in__2__4,des_single__15_sbox_in__2__5,des_single__15_sbox_in__2__6,&des_single__15_sbox_out__2__1,&des_single__15_sbox_out__2__2,&des_single__15_sbox_out__2__3,&des_single__15_sbox_out__2__4);
  output[5]  = (des_single__15_sbox_out__2__1) ^ (plaintext__5);
  output[3]  = (des_single__15_sbox_out__2__2) ^ (plaintext__3);
  output[23] = (des_single__15_sbox_out__2__3) ^ (plaintext__23);
  output[17] = (des_single__15_sbox_out__2__4) ^ (plaintext__17);
  des_single__15_sbox_in__3__1 = (key__2) ^ (plaintext__36);
  des_single__15_sbox_in__3__2 = (key__9) ^ (plaintext__28);
  des_single__15_sbox_in__3__3 = (key__44) ^ (plaintext__20);
  des_single__15_sbox_in__3__4 = (key__35) ^ (plaintext__12);
  des_single__15_sbox_in__3__5 = (key__26) ^ (plaintext__4);
  des_single__15_sbox_in__3__6 = (key__49) ^ (plaintext__62);
  sbox__3(des_single__15_sbox_in__3__1,des_single__15_sbox_in__3__2,des_single__15_sbox_in__3__3,des_single__15_sbox_in__3__4,des_single__15_sbox_in__3__5,des_single__15_sbox_in__3__6,&des_single__15_sbox_out__3__1,&des_single__15_sbox_out__3__2,&des_single__15_sbox_out__3__3,&des_single__15_sbox_out__3__4);
  output[55] = (des_single__15_sbox_out__3__1) ^ (plaintext__55);
  output[37] = (des_single__15_sbox_out__3__2) ^ (plaintext__37);
  output[51] = (des_single__15_sbox_out__3__3) ^ (plaintext__51);
  output[57] = (des_single__15_sbox_out__3__4) ^ (plaintext__57);
  des_single__15_sbox_in__4__1 = (key__30) ^ (plaintext__4);
  des_single__15_sbox_in__4__2 = (key__5) ^ (plaintext__62);
  des_single__15_sbox_in__4__3 = (key__47) ^ (plaintext__54);
  des_single__15_sbox_in__4__4 = (key__62) ^ (plaintext__46);
  des_single__15_sbox_in__4__5 = (key__45) ^ (plaintext__38);
  des_single__15_sbox_in__4__6 = (key__12) ^ (plaintext__30);
  sbox__4(des_single__15_sbox_in__4__1,des_single__15_sbox_in__4__2,des_single__15_sbox_in__4__3,des_single__15_sbox_in__4__4,des_single__15_sbox_in__4__5,des_single__15_sbox_in__4__6,&des_single__15_sbox_out__4__1,&des_single__15_sbox_out__4__2,&des_single__15_sbox_out__4__3,&des_single__15_sbox_out__4__4);
  output[1]  = (des_single__15_sbox_out__4__1) ^ (plaintext__1);
  output[19] = (des_single__15_sbox_out__4__2) ^ (plaintext__19);
  output[63] = (des_single__15_sbox_out__4__3) ^ (plaintext__63);
  output[41] = (des_single__15_sbox_out__4__4) ^ (plaintext__41);
  des_single__15_sbox_in__5__1 = (key__55) ^ (plaintext__38);
  des_single__15_sbox_in__5__2 = (key__38) ^ (plaintext__30);
  des_single__15_sbox_in__5__3 = (key__13) ^ (plaintext__22);
  des_single__15_sbox_in__5__4 = (key__61) ^ (plaintext__14);
  des_single__15_sbox_in__5__5 = (key__31) ^ (plaintext__6);
  des_single__15_sbox_in__5__6 = (key__37) ^ (plaintext__64);
  sbox__5(des_single__15_sbox_in__5__1,des_single__15_sbox_in__5__2,des_single__15_sbox_in__5__3,des_single__15_sbox_in__5__4,des_single__15_sbox_in__5__5,des_single__15_sbox_in__5__6,&des_single__15_sbox_out__5__1,&des_single__15_sbox_out__5__2,&des_single__15_sbox_out__5__3,&des_single__15_sbox_out__5__4);
  output[33] = (des_single__15_sbox_out__5__1) ^ (plaintext__33);
  output[31] = (des_single__15_sbox_out__5__2) ^ (plaintext__31);
  output[43] = (des_single__15_sbox_out__5__3) ^ (plaintext__43);
  output[45] = (des_single__15_sbox_out__5__4) ^ (plaintext__45);
  des_single__15_sbox_in__6__1 = (key__6) ^ (plaintext__6);
  des_single__15_sbox_in__6__2 = (key__29) ^ (plaintext__64);
  des_single__15_sbox_in__6__3 = (key__46) ^ (plaintext__56);
  des_single__15_sbox_in__6__4 = (key__4) ^ (plaintext__48);
  des_single__15_sbox_in__6__5 = (key__23) ^ (plaintext__40);
  des_single__15_sbox_in__6__6 = (key__28) ^ (plaintext__32);
  sbox__6(des_single__15_sbox_in__6__1,des_single__15_sbox_in__6__2,des_single__15_sbox_in__6__3,des_single__15_sbox_in__6__4,des_single__15_sbox_in__6__5,des_single__15_sbox_in__6__6,&des_single__15_sbox_out__6__1,&des_single__15_sbox_out__6__2,&des_single__15_sbox_out__6__3,&des_single__15_sbox_out__6__4);
  output[7]  = (des_single__15_sbox_out__6__1) ^ (plaintext__7);
  output[35] = (des_single__15_sbox_out__6__2) ^ (plaintext__35);
  output[21] = (des_single__15_sbox_out__6__3) ^ (plaintext__21);
  output[9]  = (des_single__15_sbox_out__6__4) ^ (plaintext__9);
  des_single__15_sbox_in__7__1 = (key__53) ^ (plaintext__40);
  des_single__15_sbox_in__7__2 = (key__22) ^ (plaintext__32);
  des_single__15_sbox_in__7__3 = (key__21) ^ (plaintext__24);
  des_single__15_sbox_in__7__4 = (key__7) ^ (plaintext__16);
  des_single__15_sbox_in__7__5 = (key__63) ^ (plaintext__8);
  des_single__15_sbox_in__7__6 = (key__39) ^ (plaintext__58);
  sbox__7(des_single__15_sbox_in__7__1,des_single__15_sbox_in__7__2,des_single__15_sbox_in__7__3,des_single__15_sbox_in__7__4,des_single__15_sbox_in__7__5,des_single__15_sbox_in__7__6,&des_single__15_sbox_out__7__1,&des_single__15_sbox_out__7__2,&des_single__15_sbox_out__7__3,&des_single__15_sbox_out__7__4);
  output[25] = (des_single__15_sbox_out__7__1) ^ (plaintext__25);
  output[47] = (des_single__15_sbox_out__7__2) ^ (plaintext__47);
  output[11] = (des_single__15_sbox_out__7__3) ^ (plaintext__11);
  output[29] = (des_single__15_sbox_out__7__4) ^ (plaintext__29);

}


